ext hash convention
Merge branch 'daniele'
Merge branch 'master' of https://github.com/project-cs-2012/reports