From c547df2720a876aef9dc7a8faa8f00fc0678e59f Mon Sep 17 00:00:00 2001 From: Tom Date: Wed, 11 Jan 2012 13:59:54 +0100 Subject: moved mercurial to git, using git now as main cvs --- .../org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Src/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs (limited to 'Src/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs') diff --git a/Src/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs b/Src/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs new file mode 100644 index 0000000..eb05ef6 --- /dev/null +++ b/Src/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs @@ -0,0 +1,4 @@ +#Sat Oct 08 13:25:12 CEST 2011 +eclipse.preferences.version=1 +overviewRuler_migration=migrated_3.1 +lineNumberRuler=true -- cgit v1.2.3-55-g7522