org.eclipse.gmt.modisco.java.generation/.settings/org.eclipse.jdt.ui.prefs - modisco/org.eclipse.modisco - Git at Google

 #Fri Jun 11 11:28:25 CEST 2010
 eclipse.preferences.version=1
 formatter_profile=_MoDisco
 formatter_settings_version=11
	#Fri Jun 11 11:28:25 CEST 2010
	eclipse.preferences.version=1
	formatter_profile=_MoDisco
	formatter_settings_version=11