dick 7e47b13e67 adapted to phototypesetter

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

..

basic

bug fixed: null-pointer dereference.

1985-08-13 14:03:23 +00:00

cem

*** empty log message ***

1985-06-19 13:42:49 +00:00

pc

adapted to phototypesetter

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