../ CVS/ 15-Feb-2024 01:49 - Makefile 10-Apr-2009 23:16 295 README 26-Mar-1997 14:14 516 propernames 10-Mar-2018 16:37 8646 web2 15-Jul-2018 13:40 2493852 web2a 21-Mar-1993 16:45 1012730