Google Git
Sign in
eclipse/objectteams/org.eclipse.objectteams/1933181ceea2e2ba388eeac0082de2abb5ff0303/./plugins/org.eclipse.objectteams.otredyn/plugin.properties
blob: f48715fbd3b0c5139705c103d9f67b9b8ac5c046 [file]
pluginName=Object Teams Dynamic Runtime Environment
providerName=Eclipse.org - Object Teams