log src/browser/sat_browser/xmlui.py @ 1013:841a595bee5a

age author description
Sun, 05 Nov 2017 20:31:18 +0100 Goffi browser (XMLUI): added new ignore argument