rwxr-xr-x 4273/0      0 Jun 16 01:51 1994 patch1/
rw-r--r-- 4273/0  17807 Dec 22 15:46 1993 patch1/2.5fixes.patch
rw-r--r-- 4273/0   3632 Jan 19 18:23 1994 patch1/2.5fixes.README
rw-r--r-- 4273/0     82 Jan 19 18:23 1994 patch1/README
rw-r--r-- 4273/0   4353 Dec 22 15:46 1993 patch1/2.5CMfixes.patch