Commit 221129536975bf4573077519474a5b140a251a1c

Tom Tromey 1996-03-28T23:34:34

Implemented dist-local idea