From f5c72b3407a32691bc4864aaaf0c5600df901513 Mon Sep 17 00:00:00 2001
From: markvandenheuvel <markvandenheuvel@xpub.nl>
Date: Tue, 2 Jun 2020 17:41:30 +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 a74d50b..c3f2153 100644
--- a/12/index.html
+++ b/12/index.html
@@ -73,7 +73,7 @@
               <a href="shell.html" target="shell">shell</a>
              </p>
       </div>
-        <div id="shell_03" class="hidden"><iframe name="shell" id="iframe"></iframe></div>
+        <div id="shell_03" class=""><iframe name="shell" id="iframe" src='blank.html'></iframe></div>
         <div id="info"><div id="title"></div><div id="authors"></div>
       </div>