log man/widget.texi @ 5496:a7da359711ce

age author description
Mon, 02 May 2011 10:35:36 +0100 Aidan Kehoe Backed out changeset e82f5b7010fe, incompatible with extant makeinfo.
Fri, 19 Feb 2010 22:39:19 -0600 Ben Wing Merge some stuff in man, fix up Makefile