Changed from returning void to returning int so that main()s who call done() at
[mmh] / README
1999-05-13 Dan HarklessUpdate for the brave new world
1999-04-30 Doug MorrisInitial revision