ceriel eb5d7ef3fe Improved userhooks

1987-03-02 16:15:07 +00:00

..

incl

Another adaption to allow for user intervention BEFORE error recovery

1987-02-16 21:36:05 +00:00

rec

Improved userhooks

1987-03-02 16:15:07 +00:00