org.eclipse.jdt.ui.prefs « .settings « net.wotonomy.ui « projects - wotonomy.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/projects/net.wotonomy.ui/.settings/org.eclipse.jdt.ui.prefs

blob: 7ca6ca2a7c927751850de00e1f2c13217a0d7dbb (plain)

1
2
3

#Thu Feb 16 21:52:51 EST 2006
eclipse.preferences.version=1
internal.default.compliance=default