From 52eccef969df5aca355fca93236cde0dd0c9fc02 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Mon, 25 Mar 2024 23:19:07 +0100
Subject: Remove obsolete tool.

---
 tools/force-reload.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 tools/force-reload.sh

(limited to 'tools')

diff --git a/tools/force-reload.sh b/tools/force-reload.sh
deleted file mode 100644
index e19b6cd..0000000
--- a/tools/force-reload.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-for FILE in $*
-do
-	V=$RANDOM
-	sed -i -e '/<link/s/client.css.*"/client.css?v='$V'"/' "$FILE"
-	sed -i -e '/<link/s/play.css.*"/play.css?v='$V'"/' "$FILE"
-	sed -i -e '/<script/s/client.js.*"/client.js?v='$V'"/' "$FILE"
-	sed -i -e '/<script/s/play.js.*"/play.js?v='$V'"/' "$FILE"
-done
-- 
cgit v1.2.3