diff -r ec72869a5a20 -r b5d11572f1ed design/compare.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/design/compare.html Mon Jul 17 16:37:09 2017 +0200 @@ -0,0 +1,38 @@ +--- +--- + + + + + + + + + + + + + + + + + + + {% include nav.html %} + +

+ {% include notes.compare.html margins="bottom" %} +

+ +

+ {% include notes.compare.html margins="bottom" %} +

+ + + + + + +