source: proto/RE2Pablo/.settings @ 2226

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 587 bytes 2226   7 years ksherdy Initial check in.
Note: See TracBrowser for help on using the repository browser.