5 years ago · 717bff8b90
--- a/public/code/external/ext.js
+++ b/public/code/external/ext.js
--- a/public/code/external/fribidi.wasm
+++ b/public/code/external/fribidi.wasm
--- a/public/code/external/hb.wasm
+++ b/public/code/external/hb.wasm
--- a/public/index.html
+++ b/public/index.html
@@ -13,8 +13,8 @@
 
				 

			
 
				 	<body class="theme0">

			
 
				 		<script> window.jsLoadedOK=true; </script> <!-- ads.js -->

			
 
				-		<script src="code/ext.js"></script>	

			
 
				+		<script src="code/external/ext.js"></script>

			
 
				 		<script src="code/DBS.js"></script>

			
 
				-		<script src="code/pp.js"></script>	

			
 
				+		<script src="code/pp.js"></script>

			
 
				 	</body>

			
 
				 </html>

			
--- a/public/plugins/gallery.json
+++ b/public/plugins/gallery.json
--- a/public/rsrc/fonts/fs/DejaVuSans.otf
+++ b/public/rsrc/fonts/fs/DejaVuSans.otf