Masafumi Max NAKANE a7ccaef83f Remove &a.jvh, &a.proven.
(They have cvs checkout privilege, but don't have commit privilege.)
Pointed-out by:	jorge
1996-12-30 18:31:18 +00:00
..
1996-12-30 18:31:18 +00:00
1996-12-28 22:28:46 +00:00
1996-12-26 22:37:30 +00:00