org.eclipse.core.resources.prefs « .settings « org.eclipse.jem.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.jem.ui/.settings/org.eclipse.core.resources.prefs

blob: 65605480c15e712cca7abf0304997ba6e0fbb4ee (plain) (blame)

1
2
3

#Sun Apr 15 21:15:36 EDT 2007
eclipse.preferences.version=1
encoding/<project>=ISO-8859-1

Back to the top