log src/tools/common/regex.py @ 2363:41c7717b52cd

age author description
Sun, 02 Jul 2017 19:53:44 +0200 Goffi core (tools/common/regex): new ansiRemove method to remove ANSI escape codes from a string