/Makefile.in/1.1.1.1/Sat Aug 19 01:31:34 1995//TDIST-960425
/configure.in/1.1.1.1/Sat Aug 19 01:31:34 1995//TDIST-960425
/old-deja.exp/1.1.1.1/Sat Aug 19 01:31:34 1995//TDIST-960425
