From 9777fedf1754af40ab4bb3ce7e22b593301c2d1b Mon Sep 17 00:00:00 2001
From: Luca Trupiano <luca.trupiano@isti.cnr.it>
Date: Mon, 6 Feb 2023 13:13:09 +0100
Subject: [PATCH] Aggiunto minimap.js alla lista degli script

---
 index_4.1.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index_4.1.html b/index_4.1.html
index 93d08bf..a814ab4 100644
--- a/index_4.1.html
+++ b/index_4.1.html
@@ -37,6 +37,7 @@
 <script type="text/javascript" src="./js/lib/peg-0.10.0.min.js"></script>
 <script type="text/javascript" src="./js/lib/jquery.ui.touch-punch.js"></script>
 <script type="text/javascript" src="./js/cesareBrowse.js"></script>
+<script type="text/javascript" src="./js/minimap.js"></script>
 <script type="text/javascript" src="./js/partext.js"></script>
 <script type="text/javascript" src="./js/utils.js"></script>
 <script type="text/javascript" src="./js/script_4.1.js"></script>