diff -r 3b5d37d84cfe -r 885a20cde527 design/index.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/design/index.html Tue May 23 16:42:07 2017 +0200 @@ -0,0 +1,46 @@ +--- +--- + + + + + + + + + + + + + + + + + {% include nav.html %} + +
+ +
+
+
+ {% include notes.html %} +
+
+
+ +
+
+
+
+
+
+
+
+
+ + + + + + +