Tree [7f1451] app_admin bugtrackers dev visualisation / platform-extensions / org.ossmeter.platform.metricmanager.rascal / .settings /

git clone https://@opensourceprojects.eu/git/u/guillermo/ossmeter u-guillermo-ossmeter


File Date Author Commit
org.eclipse.jdt.core.prefs 2014-03-05 a.shahi@cwi.nl a.shahi@cwi.nl [f063f3] moved rascal metric provider to platform extens...