../ CVS/ 31-Jul-2025 18:25 - Makefile 10-Apr-2009 16:16 295 README 26-Mar-1997 07:14 516 propernames 10-Mar-2018 09:37 8646 web2 01-Aug-2023 03:28 2496315 web2a 21-Mar-1993 09:45 1012730