../ CVS/ 16-Jul-2018 11:01 - Makefile 11-Apr-2009 11:03 295 README 26-Mar-1997 15:14 516 propernames 11-Mar-2018 11:01 8646 web2 16-Jul-2018 11:01 2493852 web2a 21-Mar-1993 17:46 1012730