diff .hgignore @ 2419:c38c54c47e16

frontends (xmlui): added an attribute to ignore some widgets (and their label) in create
author Goffi <goffi@goffi.org>
date Sun, 05 Nov 2017 13:53:28 +0100
parents f2cb99b196b1
children 9f599ccbea4e
line wrap: on
line diff