Commit 69798b3b38cddf51002bd856b09cc7e21430c4d7

Tom Tromey 1999-01-10T21:19:25

Fixed minor dist bug