upd: rename

2025-02-21 12:05:57 +08:00
parent 579751494b
commit 0e5c61a3f4
118 changed files with 703684 additions and 77 deletions
@@ -0,0 +1,4 @@
+grant {
+  // needed because of the hot reload functionality
+  permission java.net.SocketPermission "*", "connect,resolve";
+};