cgd 132b41434c new RCS ID format.		1994-10-26 07:22:45 +00:00
..
DUALITY	new RCS ID format.	1994-10-26 07:22:45 +00:00
GENERIC	new RCS ID format.	1994-10-26 07:22:45 +00:00
LAGER	new RCS ID format.	1994-10-26 07:22:45 +00:00
LINT	new RCS ID format.	1994-10-26 07:22:45 +00:00
Makefile.hp300	new RCS ID format.	1994-10-26 07:22:45 +00:00
PICASSO	new RCS ID format.	1994-10-26 07:22:45 +00:00
devices.hp300	vn --> vnd	1994-08-17 20:16:16 +00:00
devices.hp300.oldconf	vn --> vnd	1994-08-17 20:16:16 +00:00
files.hp300	new RCS ID format.	1994-10-26 07:22:45 +00:00
files.hp300.oldconf	new RCS ID format.	1994-10-26 07:22:45 +00:00