Sign in
eclipse
/
objectteams
/
org.eclipse.objectteams
/
8927676ee737cb5e1d7eacf39c258fc65df5cf95
/
.
/
plugins
/
org.eclipse.objectteams.otdt
/
plugin.properties
blob: af3758b106877a986c8acffe27096bab6e37feac [
file
] [
log
] [
blame
]
pluginName
=
Object
Teams
Development
Tooling
providerName
=
Eclipse
.
org
-
Object
Teams
otNatureName
=
Object
Teams
otjBuilderName
=
OT
/
J
Builder
