LearnLib/learnlib — pull request #11 by oliverbauer8 (2014-01-21 14:11:03+00:00)
Title: Reuse

reuse filter stable enough for integration into develop branch