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: 1ed05976edaca0ff16abb57fd225c2add94e53bb (plain)

#Sat Nov 06 20:00:22 CET 2010
eclipse.preferences.version=1
tipsAndTricks=true
platformState=1289063488193
PROBLEMS_FILTERS_MIGRATE=true