source: @ 11493

Name	Size	Rev	Age	Author	Last Change
tags		10618	13 years	gb	tag 1.2 release
release		11430	12 years	rme	Port r11428 (typo in %init-misc) here.
branches		11482	12 years	gz	r11450 from trunk: *quit-interrupt-hook*
trunk	​	11493	12 years	gb	Ignore forms in the .ffi file that don't start with a #\( on the first …