Commit 41f18c10f80762323024c9c514a08bc9071464d7

Tom Tromey 1998-04-06T04:48:22

version checking fix