From 0be40c7acf2f7310b020846302d04a0cebbc691f Mon Sep 17 00:00:00 2001
From: ioanatomici <ioanatomici@xpub.nl>
Date: Thu, 28 May 2020 11:56:19 +0200
Subject: [PATCH] Update '12/index.html'

---
 12/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/12/index.html b/12/index.html
index 62b184a..723bd21 100644
--- a/12/index.html
+++ b/12/index.html
@@ -72,7 +72,7 @@
       <div id="shell_03"></div>
         <div id="info"><div id="title"></div><div id="authors"></div></div>
         <script src="pipeserver.js"></script>      
-        <script src="thorusKnot.js"></script>
+        <script src="torusKnot.js"></script>
    
    
       <div class="text_below_3">