../ CVS/ 02-Aug-2023 11:01 - Makefile 11-Apr-2009 11:03 295 README 26-Mar-1997 15:14 516 propernames 11-Mar-2018 11:01 8646 web2 02-Aug-2023 11:01 2M web2a 21-Mar-1993 17:46 989K