root/oranda_4-14-08/descent.ui.metrics/.settings

Name Size Rev Age Last Change
../
org.eclipse.jdt.core.prefs 3.5 kB 272 2 years asterite: Metrics plugin for Descent! :-D
Note: See TracBrowser for help on using the browser.