../ CVS/ 04-Jun-2017 08:20 - Makefile 10-Apr-2009 16:16 295 README 26-Mar-1997 07:14 516 propernames 26-Mar-1997 07:14 8640 web2 03-Jun-2017 07:30 2487378 web2a 21-Mar-1993 09:45 1012730