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