org.eclipse.ui.ide.prefs « .settings « org.eclipse.core.runtime « .plugins « .metadata « Lemmini « jeu-test - 2010-netlemmings.git - [no description]

summary refs log tree commit diff

path: root/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs

blob: 709888f5c952b6526b2fe0a9baede078f88b2e4f (plain)

#Sat Nov 06 21:10:41 CET 2010
eclipse.preferences.version=1
tipsAndTricks=true
platformState=1289070773896
PROBLEMS_FILTERS_MIGRATE=true