source: trunk/legacy/jvmlink/src @ 7819

Name Size Rev Age Author Last Change
../
main 7819   8 years mario sanity-check some buffer sizes, and use a bit faster readInt() method
Note: See TracBrowser for help on using the repository browser.