Commit c6d3c8858ffd3bc529b0d0d36eb922af3a083fcc

Tom Tromey 1997-05-15T18:06:34

install-strip fix