diff man/text.texi @ 72347:494f2c627b5b

Minor fix to last change.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 10 Aug 2006 16:07:43 +0000
parents a8302420a574
children 3719cef078a7 7f3f771c85fa
line wrap: on
line diff