log src/browser/sat_browser/xmlui.py @ 1015:16d52917666c

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