Sign in
eclipse
/
scout
/
org.eclipse.scout.rt
/
refs/heads/releases/2012-Jun
/
.
/
org.eclipse.scout.rt.jdbc.derby
/
.settings
/
org.eclipse.pde.core.prefs
blob: baef13dd8cc7aff9f1f70012129513d28089fc6b [
file
] [
log
] [
blame
]
#Mon Jul 11 16:16:00 CEST 2011
eclipse
.
preferences
.
version
=
1
pluginProject
.
extensions
=
true