Initial commit after migrating repo and assuring the product launches

2019-06-23 14:56:45 +02:00
commit 507f2aedbc
889 changed files with 60893 additions and 0 deletions
--- a/build.properties
+++ b/build.properties
@ -0,0 +1,20 @@
+source.. = src/
+output.. = bin/
+bin.includes = plugin.xml,\
+               META-INF/,\
+               .,\
+               icons/,\
+               splash.bmp,\
+               help/,\
+               plugin_customization.ini,\
+               contexts.xml,\
+               bin/,\
+               config/
+src.includes = plugin_customization.ini,\
+               icons/,\
+               help/,\
+               contexts.xml,\
+               bin/,\
+               splash.bmp,\
+               config/
+jre.compilation.profile = JavaSE-1.7