Commit 082fd86044b3be703011dda758e82406a8c91abe

Tom Tromey 1996-09-09T01:10:10

tweaks