fix type for settings in configuration file
authorthomasv <thomasv@gitorious>
Fri, 12 Oct 2012 09:26:30 +0000 (11:26 +0200)
committerthomasv <thomasv@gitorious>
Fri, 12 Oct 2012 09:26:30 +0000 (11:26 +0200)
commit5e76b8caab28fb353e0e42b175f4a1d94fa09607
tree76610dd198ac517675e01bc1f8aab6907a416d06
parentc53c3f21955fd83e45d1f08c64341b0cea9f6c5a
fix type for settings in configuration file
lib/simple_config.py