dick 7f5bcdf116 option NORCSID for lint in Makefile is nonsense

1986-07-17 22:17:59 +00:00

..

basic

Added a warning message.

1986-02-11 11:18:57 +00:00

cem

option NORCSID for lint in Makefile is nonsense

1986-07-17 22:17:59 +00:00

m2/comp

Some bug fixes

1986-07-14 15:00:08 +00:00

pc

adapted to phototypesetter

1986-01-20 20:39:09 +00:00