Patches

Dirk Hohndel dirk at hohndel.org
Mon Nov 17 13:06:08 PST 2014


On Mon, Nov 17, 2014 at 03:59:52PM +0100, Davide DB wrote:
> I would have a smaaalll improvement if it is not difficult nor too late:
> 
> Populating the tag list ONLY with the tag effectively used :)

Are you trying to say "don't list tags with a count of 0" ?

/D


More information about the subsurface mailing list