diff options
Diffstat (limited to 'jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs')
-rw-r--r-- | jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs index 1ed0597..709888f 100644 --- a/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs +++ b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -1,5 +1,5 @@ -#Sat Nov 06 20:00:22 CET 2010 +#Sat Nov 06 21:10:41 CET 2010 eclipse.preferences.version=1 tipsAndTricks=true -platformState=1289063488193 +platformState=1289070773896 PROBLEMS_FILTERS_MIGRATE=true |