source: @ 11488

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