/.cvsignore/1.2/Mon Jun  3 16:04:07 2002//TKOFFICE_1_3_BRANCH
/Makefile.am/1.1/Sun Jul 15 15:09:54 2001//TKOFFICE_1_3_BRANCH
/texlauncher.cc/1.1/Sun Jul 15 15:09:54 2001//TKOFFICE_1_3_BRANCH
D
