kframework/k — pull request #1050 by dwightguth (2014-10-09 18:39:21+00:00)
Title: remove duplicate outdated unparserfilter class

**do not review yet**