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 [786e0d] .. [da30be]

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
@@ -5,6 +5,7 @@
       <metricProviderManager manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">
       </metricProviderManager>
    </extension>
+