../ CVS/ 22-Dec-2019 11:56 - Makefile 22-Dec-2019 11:56 386 README 30-Mar-2004 17:14 2840 propernames 13-Aug-2017 11:19 8613 web2 17-Dec-2017 11:59 2493843 web2a 18-Oct-1995 08:43 1012730