Nils Schneider 653a329698 filters: combine filters first		2015-09-04 15:06:24 +02:00
..
filtergui.js	filters: negation, styling	2015-09-04 15:06:24 +02:00
genericnode.js	filters: combine filters first	2015-09-04 15:06:24 +02:00
nodefilter.js	basic filter support	2015-09-04 15:06:24 +02:00