From d433b0ecc4759566eeaebee742fd87fd091dc25d Mon Sep 17 00:00:00 2001 From: neothemachine Date: Wed, 5 Dec 2012 21:00:09 +0100 Subject: let eclipse remove timestamps out of .prefs files (these aren't written since eclipse 3.7.2, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=342709 and https://bugs.eclipse.org/bugs/show_bug.cgi?id=363836) --- ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs | 1 - 1 file changed, 1 deletion(-) (limited to 'ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs') diff --git a/ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs b/ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs index 371b4ac..583471d 100644 --- a/ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs +++ b/ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,3 @@ -#Fri Jan 29 15:42:19 CST 2010 cleanup_settings_version=2 eclipse.preferences.version=1 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true -- cgit v1.2.3