log frontends/src/tools/misc.py @ 1878:7a07f232e7cb

age author description
Sun, 03 Jan 2016 16:28:30 +0100 Goffi copyright update