org.eclipse.jdt.ui.prefs « .settings « org.eclipse.jst.j2ee.core « plugins - webtools.javaee.git - This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

index : webtools.javaee.git

This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.jst.j2ee.core/.settings/org.eclipse.jdt.ui.prefs

blob: 1dd89f7e4f51af4816801a860ba1952275eaa184 (plain) (blame)

1
2
3

#Tue May 08 16:50:10 EDT 2007
eclipse.preferences.version=1
internal.default.compliance=default

Back to the top