Convert config.py
authorMichael Hanselmann <hansmi@google.com>
Wed, 1 Oct 2008 17:34:18 +0000 (17:34 +0000)
committerMichael Hanselmann <hansmi@google.com>
Wed, 1 Oct 2008 17:34:18 +0000 (17:34 +0000)
commit5b263ed7501b4ba61d9c8336016b5e4f2ff4e1da
tree3275d88d0fcffb08251ce60c87f90badb14e51c7
parentc657dcc972cec94f7e1894238f836f7c9dd0a81d
Convert config.py

The configuration version is now again in the configuration file.

Reviewed-by: iustinp
lib/config.py