diff Makefile @ 6366:8dee696c33cc 0.9.5

util.filters: Ignore filters being added twice (fixes issues on removal)
author Matthew Wild <mwild1@gmail.com>
date Thu, 28 Aug 2014 09:20:33 +0100
parents 1ce05d38d1bb
children f04a6c700b2f cd0088c73daf
line wrap: on
line diff