Changed from returning void to returning int so that main()s who call done() at
[mmh] / zotnet / tws /
drwxr-xr-x   ..
-rw-r--r-- 1958 Makefile.in
-rw-r--r-- 10135 dtime.c
-rw-r--r-- 32943 dtimep.c-lexed
-rw-r--r-- 9002 dtimep.lex
-rw-r--r-- 637 lexedit.sed
-rw-r--r-- 5434 lexstring.c
-rw-r--r-- 1809 tws.h