diff man/gnu.texi @ 72347:494f2c627b5b

Minor fix to last change.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 10 Aug 2006 16:07:43 +0000
parents 95f50a235a27
children 4ad431d8e164 146cd8369025
line wrap: on
line diff