org.eclipse.jdt.ui.prefs « .settings « org.eclipse.jst.server.tomcat.core « plugins - webtools.servertools.git - Repo moved to : https://github.com/eclipse-servertools/servertools

index : webtools.servertools.git

Repo moved to : https://github.com/eclipse-servertools/servertools

Linux User

summary refs log tree commit diff stats

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

blob: 584bdff9475ee57b32418181d97ee4fb1621bb47 (plain) (blame)

#Fri Nov 10 18:06:11 HST 2006
eclipse.preferences.version=1
internal.default.compliance=user
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?>\n<templates/>

Back to the top