Revision d1cd484ffe894950d432724f58edde23c5078a05

Committed on 25/11/2013 4:36 am by Martin Eckhardt <[email protected]> [GitHub Diff]

Changed format of configuration file.