source: @ 11487

Name Size Rev Age Author Last Change
tags 10618   12 years gb tag 1.2 release
trunk 11487   12 years gb Add things (elf, jni, gmp) that're provided on other Linux platforms. …
branches 11482   12 years gz r11450 from trunk: *quit-interrupt-hook*
release 11430   12 years rme Port r11428 (typo in %init-misc) here.
Note: See TracBrowser for help on using the repository browser.