u/guillermo / OSSMETER - Git / Diff of /platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml

Diff of /platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml [7d5601] .. [02a4e9]

Switch to side-by-side view

--- a/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
+++ b/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
@@ -6,6 +6,7 @@
       <metricProviderManager manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">
       </metricProviderManager>
    </extension>
+