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

This CGIT instance is deprecated, and repositories have been moved to Gitlab or Github. See the repository descriptions for specific locations.

index : webtools.sourceediting.git

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

Linux User

summary refs log tree commit diff stats

path: root/docs/org.eclipse.wst.xml.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