log src/tools/utils.py @ 1877:a97db84c048d

age author description
Sun, 28 Feb 2016 13:42:31 +0100 Goffi tools (utils): improved repository version detection: