dick 7e47b13e67 adapted to phototypesetter 38 years ago
..
basic 4dd4bcef57 bug fixed: null-pointer dereference. 39 years ago
cem 505abd69c5 *** empty log message *** 39 years ago
pc 7e47b13e67 adapted to phototypesetter 38 years ago