org.eclipse.jdt.ui.prefs « .settings « org.eclipse.jst.j2ee.ui « 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.ui/.settings/org.eclipse.jdt.ui.prefs

blob: 6cf957904edcee45705d8782baab5d3377aaee5c (plain) (blame)

1
2
3

#Fri Apr 13 14:16:39 EDT 2007
eclipse.preferences.version=1
internal.default.compliance=default

Back to the top