Bump tools.js version

2023-03-18 22:08:36 +01:00 · 2023-03-18 22:08:36 +01:00 · 62ce261831
parent ffb45f3bc1
commit 62ce261831
1 changed files with 1 additions and 1 deletions
--- a/src/tools.html
+++ b/src/tools.html
@ -207,6 +207,6 @@
 		</div>
 		<script src="/js/vendor/jquery.min.js"></script>
 		<script src="/js/vendor/bootstrap.min.js"></script>
-		<script src="/js/tools.js?v=3"></script>
+		<script src="/js/tools.js?v=4"></script>
 	</body>
 </html>