diff options
Diffstat (limited to 'extra/eclipse')
-rw-r--r-- | extra/eclipse/eclipse.ini.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/extra/eclipse/eclipse.ini.patch b/extra/eclipse/eclipse.ini.patch deleted file mode 100644 index 0f2e3b226..000000000 --- a/extra/eclipse/eclipse.ini.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- eclipse/eclipse.ini 2010-06-24 09:22:59.474998451 +0200 -+++ eclipse/eclipse.ini~ 2010-06-24 09:24:26.325011998 +0200 -@@ -5,9 +5,9 @@ - -showsplash - org.eclipse.platform - --launcher.XXMaxPermSize --256m -+512m - --launcher.defaultAction - openFile - -vmargs - -Xms40m ---Xmx384m -+-Xmx768m |