jtc 34d9f1513d merge in 1.2 branch		1996-10-09 00:13:36 +00:00
..
inst	merge in 1.2 branch	1996-10-09 00:13:36 +00:00
inst-common	…
kc	RCS id police.	1996-08-30 20:03:54 +00:00
kc-common	RCS id police.	1996-08-30 20:03:54 +00:00
upgr	merge in 1.2 branch	1996-10-09 00:13:36 +00:00
Makefile	RCS id police.	1996-08-30 20:03:54 +00:00
Makefile.inc	RCS id police.	1996-08-30 20:03:54 +00:00
list2sh.awk	RCS id police.	1996-08-30 20:03:54 +00:00
runlist.sh	RCS id police.	1996-08-30 20:03:54 +00:00