jakob 9fc4312604 update to v1.9		2001-12-22 00:20:32 +00:00
..
xml2rfc	ugly hack to handle both w/ and w/o gui in the same script	2001-04-09 18:45:20 +00:00
xml2rfc.no_x11	add no_x11 flavour	2001-03-30 15:53:13 +00:00