Old build.prop.
Old build.prop.
Merge branch 'master' of https://github.com/RIUNET/DSpace
Old build.prop.