From adeaeb74aa8fad486cf76dd7e80de23cf3495c55 Mon Sep 17 00:00:00 2001 From: Lex Manos Date: Fri, 8 Nov 2013 14:03:43 -0800 Subject: [PATCH] Include eclipse template workspace, for packaging in src distro. --- .gitignore | 2 +- .../.projects/Minecraft/.location | 0 .../org.eclipse.core.resources/.root/0.tree | Bin 0 -> 1224 bytes .../org.eclipse.core.resources.prefs | 4 +++ .../.settings/org.eclipse.debug.ui.prefs | 7 +++++ .../org.eclipse.epp.usagedata.gathering.prefs | 3 +++ .../.settings/org.eclipse.jdt.core.prefs | 14 ++++++++++ .../.settings/org.eclipse.ui.editors.prefs | 4 +++ .../.settings/org.eclipse.ui.ide.prefs | 9 +++++++ .../.settings/org.eclipse.ui.prefs | 3 +++ .../.launches/Client.launch | 14 ++++++++++ .../.launches/Server.launch | 13 +++++++++ .../launchConfigurationHistory.xml | 25 ++++++++++++++++++ 13 files changed, 97 insertions(+), 1 deletion(-) create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.projects/Minecraft/.location create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.root/0.tree create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.core.resources.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.debug.ui.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.epp.usagedata.gathering.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.prefs create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Client.launch create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Server.launch create mode 100644 eclipse-rel/.metadata/.plugins/org.eclipse.debug.ui/launchConfigurationHistory.xml diff --git a/.gitignore b/.gitignore index f00d8b547c..788849df87 100644 --- a/.gitignore +++ b/.gitignore @@ -12,5 +12,5 @@ /.gradle #occupational hazards -/eclipse +/eclipse/ /repo/ diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.projects/Minecraft/.location b/eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.projects/Minecraft/.location new file mode 100644 index 0000000000..e69de29bb2 diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.root/0.tree b/eclipse-rel/.metadata/.plugins/org.eclipse.core.resources/.root/0.tree new file mode 100644 index 0000000000000000000000000000000000000000..897e2b847917fda481db0de6b8020ac05499a1dd GIT binary patch literal 1224 zcmaKr&u`N(6vtnhj~pn0guM2T(OR\r\n\r\n +org.eclipse.debug.ui.user_view_bindings=\r\n\r\n\r\n\r\n\r\n\r\n +StringVariablePreferencePage=130,107,107,86, diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.epp.usagedata.gathering.prefs b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.epp.usagedata.gathering.prefs new file mode 100644 index 0000000000..333b991531 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.epp.usagedata.gathering.prefs @@ -0,0 +1,3 @@ +#Sun Jun 05 18:58:07 CEST 2011 +eclipse.preferences.version=1 +org.eclipse.epp.usagedata.gathering.enabled=false diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000..12ec368903 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,14 @@ +#Sun Sep 18 16:44:39 NZST 2011 +org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=ignore +org.eclipse.jdt.core.compiler.problem.deprecation=ignore +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.problem.unusedLocal=ignore +org.eclipse.jdt.core.compiler.problem.unusedImport=ignore +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=ignore +org.eclipse.jdt.core.compiler.problem.rawTypeReference=ignore +org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=ignore +org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.source=1.6 diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs new file mode 100644 index 0000000000..316ef6f309 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs @@ -0,0 +1,4 @@ +#Sun Jun 05 18:58:05 CEST 2011 +spacesForTabs=true +eclipse.preferences.version=1 +overviewRuler_migration=migrated_3.1 diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs new file mode 100644 index 0000000000..ae368abb9e --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -0,0 +1,9 @@ +#Sun Jun 05 18:58:07 CEST 2011 +IMPORT_FILES_AND_FOLDERS_MODE=prompt +IMPORT_FILES_AND_FOLDERS_VIRTUAL_FOLDER_MODE=prompt +SAVE_ALL_BEFORE_BUILD=true +eclipse.preferences.version=1 +tipsAndTricks=true +platformState=1287081747687 +quickStart=false +PROBLEMS_FILTERS_MIGRATE=true diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.prefs b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.prefs new file mode 100644 index 0000000000..cbc59537b0 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.prefs @@ -0,0 +1,3 @@ +#Sun Jun 05 18:50:08 CEST 2011 +eclipse.preferences.version=1 +showIntro=false diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Client.launch b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Client.launch new file mode 100644 index 0000000000..a010befe10 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Client.launch @@ -0,0 +1,14 @@ + + + + + + + + + + + + + + diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Server.launch b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Server.launch new file mode 100644 index 0000000000..550685c761 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.core/.launches/Server.launch @@ -0,0 +1,13 @@ + + + + + + + + + + + + + diff --git a/eclipse-rel/.metadata/.plugins/org.eclipse.debug.ui/launchConfigurationHistory.xml b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.ui/launchConfigurationHistory.xml new file mode 100644 index 0000000000..1208f602e5 --- /dev/null +++ b/eclipse-rel/.metadata/.plugins/org.eclipse.debug.ui/launchConfigurationHistory.xml @@ -0,0 +1,25 @@ + + + + + + + + + + + + + + + + + + + + + + + + +