diff -r ec72869a5a20 -r b5d11572f1ed design/_includes/filter.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/design/_includes/filter.html Mon Jul 17 16:37:09 2017 +0200 @@ -0,0 +1,11 @@ +
+
+ +
+ +
+ + + +
+