From ae4b68364c461f7c1ebb1f3006c8aa6759dd1655 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Wed, 31 Oct 2018 02:20:25 -0700 Subject: Add scripts to manage demo website --- index.html | 74 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) create mode 100644 index.html (limited to 'index.html') diff --git a/index.html b/index.html new file mode 100644 index 0000000..49ee9ff --- /dev/null +++ b/index.html @@ -0,0 +1,74 @@ + + + + + + + + +

+ +

+ + + + + -- cgit v1.2.3