From a2f41fac67eea918a05be22e30ec37779741fa11 Mon Sep 17 00:00:00 2001 From: s441433 Date: Sun, 6 Jan 2019 17:06:25 +0100 Subject: [PATCH] Create org.eclipse.ui.ide.prefs --- .../.settings/org.eclipse.ui.ide.prefs | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs diff --git a/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs new file mode 100644 index 0000000..f035635 --- /dev/null +++ b/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -0,0 +1,6 @@ +EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=false +PROBLEMS_FILTERS_MIGRATE=true +eclipse.preferences.version=1 +platformState=1546767529581 +quickStart=false +tipsAndTricks=true