| changed | platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/RascalMetricProvider.java |
| changed | platform/org.ossmeter.platform.osgi/OSGi Master.launch |
platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/RascalMetricProvider.java Diff Switch to side-by-side view
