jtc 34d9f1513d merge in 1.2 branch		1996-10-09 00:13:36 +00:00
..
inst	…
inst-common	merge in 1.2 branch	1996-10-09 00:13:36 +00:00
upgr	…
Makefile	…
Makefile.inc	merge in 1.2 branch	1996-10-09 00:13:36 +00:00
list2sh.awk	…
runlist.sh	…