Add option filters
tree1965a327bf3b6194d4451db9fc38190fe21cfce2
-rw-r--r-- 59 .gitignore
-rw-r--r-- 55 Changes
-rw-r--r-- 187 dist.ini
drwxr-xr-x - lib
drwxr-xr-x - t