log src/tools/xml_tools.py @ 1813:cf53e3cc702a

age author description
Wed, 13 Jan 2016 13:12:50 +0100 Goffi tools (xml_tools): removed unused import