gui/man
Matthew Flatt 02aa21f3fa minor man-page corrections
Merge to 5.1

original commit: 0011b386ba5e80dd33ce69ba0f1b05ce0d3284cd
2011-02-01 08:01:17 -07:00
..
man1 minor man-page corrections 2011-02-01 08:01:17 -07:00