Commit 590aa3dc3ed3fc6893e673d436dfd56f9c5a902f

Tom Tromey 1996-01-03T21:24:52

Copyright clarifications