log src/browser/sat_browser/xmlui.py @ 990:6daa59d44ee2

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