Sign in
eclipse
/
objectteams
/
org.eclipse.objectteams
/
77ccfaa8db3269500141a35327a5feb101553c41
/
.
/
plugins
/
org.eclipse.objectteams.otredyn
/
plugin.properties
blob: f48715fbd3b0c5139705c103d9f67b9b8ac5c046 [
file
] [
log
] [
blame
]
pluginName
=
Object
Teams
Dynamic
Runtime
Environment
providerName
=
Eclipse
.
org
-
Object
Teams