source: java/PlatformTools/.settings@ 1141

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 587 bytes 724   12 years alloc Platform tools library (information about platform, program execution)
Note: See TracBrowser for help on using the repository browser.