filter_ignore plugin: Add a simple plugin to ignore specific identifiers.
authorFlorian Forster <octo@huhu.verplant.org>
Mon, 20 Oct 2008 06:40:58 +0000 (08:40 +0200)
committerFlorian Forster <octo@huhu.verplant.org>
Mon, 20 Oct 2008 06:40:58 +0000 (08:40 +0200)
commitb15b750a5d5510ee32feb5988814be123448c791
treef8069cfcc254bf9970931ddcb4badc804d8ee964
parent2f712e8af3ae9461df24fe92098b44a0ee07d291
filter_ignore plugin: Add a simple plugin to ignore specific identifiers.

Still needs documentation and testing.
configure.in
src/Makefile.am
src/filter_ignore.c [new file with mode: 0644]