log src/tools/utils.py @ 1896:c1fbd47b53bf

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