log src/tools/config.py @ 2373:d2476dc2d55d

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: