log src/browser/sat_browser/xmlui.py @ 1021:b39c527f208c

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