keie 4d8c88e7b1 The first version, copied from 6800.		1984-12-18 15:13:56 +00:00
..
descr	The first version, copied from 6800.	1984-12-18 15:13:56 +00:00