source: @ 11487

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