diff options
| author | neothemachine <[email protected]> | 2012-12-05 21:00:09 +0100 |
|---|---|---|
| committer | neothemachine <[email protected]> | 2012-12-05 21:40:08 +0100 |
| commit | d433b0ecc4759566eeaebee742fd87fd091dc25d (patch) | |
| tree | c584f7c692352cc5507097c66af42cb8b3341c3d /ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs | |
| parent | b75e75e3de71d076cca5044c3d473833e1a57e44 (diff) | |
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)
Diffstat (limited to 'ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | ardor3d-animation/.settings/org.eclipse.jdt.ui.prefs | 1 |
1 files changed, 0 insertions, 1 deletions
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 |