Name Last modified Size Description
Parent Directory - tetexec.cfg 28-Mar-1999 03:45 116 setup.sh 28-Mar-1999 03:40 429 tetclean.cfg 28-Mar-1999 03:44 670 tetbuild.cfg 28-Mar-1999 03:43 694 systems.orig 28-Mar-1999 03:42 768 tetdist.orig 28-Mar-1999 22:00 1.1K tet_scen 28-Mar-1999 03:43 2.0K README 28-Mar-1999 03:46 4.8K remclient.tar 28-Mar-1999 02:39 30K