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