larsga/Duke — pull request #155 by fabriziofortino (2014-05-01 10:20:46+00:00)
Title: minor: use manifest instead of duke.properties to read version information

+ added /bin to .gitignore

I did not remove duke.properties because StatusServlet uses it but I think it is not correct since the code looks for properties that are not available (eg: duke.check-interval).