log src/tools/config.py @ 2360:72cbb6478f97

age author description
Sun, 17 Apr 2016 14:45:26 +0200 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang
Wed, 09 Mar 2016 12:11:35 +0100 Goffi core (tools/config): fixed fixConfigOption: