diff --git a/build/deployments.json b/build/deployments.json deleted file mode 100644 index 6676c2d..0000000 --- a/build/deployments.json +++ /dev/null @@ -1 +0,0 @@ -{"to_deploy": ["teaching_example_workshop","talk_example_presentation"]} diff --git a/index.html b/index.html index 7e64e60..83d0e19 100644 --- a/index.html +++ b/index.html @@ -1,5 +1,3 @@ -
@@ -8,8 +6,7 @@