org.eclipse.jdt.ui.prefs « .settings « org.eclipse.tm.terminal « terminal - org.eclipse.tm.git - Target Management repository moved to https://gitlab.eclipse.org/eclipse/tm/org.eclipse.tm

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

index : org.eclipse.tm.git

Target Management repository moved to https://gitlab.eclipse.org/eclipse/tm/org.eclipse.tm

Linux User

summary refs log tree commit diff stats

path: root/terminal/org.eclipse.tm.terminal/.settings/org.eclipse.jdt.ui.prefs

blob: 9a20fca52a488a2fe9b23c08107c1f9953e16fdc (plain) (blame)

1
2
3

#Mon Jul 31 14:55:17 CEST 2006
eclipse.preferences.version=1
internal.default.compliance=user

Back to the top