org.eclipse.jdt.ui.prefs « .settings « org.eclipse.wst.dtd.ui.infopop « docs « xml - webtools.sourceediting.git - Repo has moved to : https://github.com/eclipse-webtools-sourceediting/sourceediting

index : webtools.sourceediting.git

Repo has moved to : https://github.com/eclipse-webtools-sourceediting/sourceediting

Linux User

about summary refs log tree commit diff stats

path: root/xml/docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.jdt.ui.prefs

blob: ef2ac6532be1476341cb8304c4496420cdde8f84 (plain) (blame)

1
2
3

#Tue Apr 04 03:36:39 EDT 2006
eclipse.preferences.version=1
internal.default.compliance=default

Back to the top