From e07dc3a1fdba2ac229b0bcaf2227fa0374820168 Mon Sep 17 00:00:00 2001 From: Matthias Kurz Date: Fri, 14 Oct 2022 23:25:20 +0200 Subject: [PATCH] Remove .jvmopts not needed anymore --- .jvmopts | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 .jvmopts diff --git a/.jvmopts b/.jvmopts deleted file mode 100644 index e7d744769..000000000 --- a/.jvmopts +++ /dev/null @@ -1,2 +0,0 @@ --Xss2M --XX:ReservedCodeCacheSize=192m