log sat_frontends/tools/xmltools.py @ 2612:3e4e78de9cca

age author description
Mon, 02 Apr 2018 19:44:50 +0200 Goffi core, setup: huge cleaning: base frontends/src/tools/xmltools.py@c9c35b9439c4