../ CVS/ 18-Dec-2022 03:35 - Makefile 10-Apr-2009 23:16 295 README 26-Mar-1997 14:14 516 propernames 10-Mar-2018 16:37 8646 web2 16-Mar-2022 07:01 2494012 web2a 21-Mar-1993 16:45 1012730