Commit [82a73e] bugtrackers clientapi dev master nikos parallel-rascal performance-analysis webappadmin webappadmin-jw History

workaround bug in Logger and fix in RascalProjectDeltas for empty churns

Jurgen J. Vinju Jurgen J. Vinju 2014-08-15

Browse code at this revision

Parent(s): [01049f]

Child(ren): [e71749]

changed platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/RascalProjectDeltas.java
changed platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/Rasctivator.java
changed third-party/rascal4ossmeter/META-INF/MANIFEST.MF
changed third-party/rascal4ossmeter/lib/rascal.jar
platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/RascalProjectDeltas.java Diff Switch to side-by-side view
Loading...
platform-extensions/org.ossmeter.platform.metricmanager.rascal/src/org/ossmeter/metricprovider/rascal/Rasctivator.java Diff Switch to side-by-side view
Loading...
third-party/rascal4ossmeter/META-INF/MANIFEST.MF Diff Switch to side-by-side view
Loading...
third-party/rascal4ossmeter/lib/rascal.jar Diff Switch to side-by-side view
Loading...