Revision d495e19e7d01bfa1b765c6f372cbbc8683aa77c9

Committed on 01/05/2013 7:23 am by Gaetano Giunta <[email protected]> [GitHub Diff]

revert config file to std version