From 3f3700a943b7240167ccbfe5e3bbcef429a1ac9c Mon Sep 17 00:00:00 2001 From: wpiers Date: Thu, 15 Mar 2012 12:01:06 +0000 Subject: removed marker --- .../org.eclipse.m2m.atl.engine.emfvm/.settings/org.eclipse.jdt.ui.prefs | 1 - 1 file changed, 1 deletion(-) (limited to 'plugins/org.eclipse.m2m.atl.engine.emfvm/.settings') diff --git a/plugins/org.eclipse.m2m.atl.engine.emfvm/.settings/org.eclipse.jdt.ui.prefs b/plugins/org.eclipse.m2m.atl.engine.emfvm/.settings/org.eclipse.jdt.ui.prefs index 36612b56..e03f5e9f 100644 --- a/plugins/org.eclipse.m2m.atl.engine.emfvm/.settings/org.eclipse.jdt.ui.prefs +++ b/plugins/org.eclipse.m2m.atl.engine.emfvm/.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,3 @@ -#Fri Oct 17 10:38:18 CEST 2008 eclipse.preferences.version=1 formatter_profile=_ATL formatter_settings_version=11 -- cgit v1.2.3