Revision ad5dfb3557bfc85d3b9550276889a13b97baf9f1

Committed on 17/10/2012 4:13 pm by Björn Dieding <[email protected]> [GitHub Diff]

- extended filter