log man/building.texi @ 28264:db6bbbe07da8

age author description
Wed, 05 Jan 2000 23:49:34 +0000 Dave Love GUD tooltips.
Wed, 29 Sep 1999 15:17:24 +0000 Dave Love #