clipperz/password-manager — pull request #30 by jokajak (2012-03-07 03:14:01+00:00)
Title: Build script

These commits fix up the current build script.

* fix syntax problem in php.properties.json
* update the build scripts so they give some more feedback