Commit c6d691c0231bb3daced7257c48dc3f1357f9a77c

Tom Tromey 1995-11-29T18:20:35

Removed mans.am.