diff man/commands.texi @ 72347:494f2c627b5b

Minor fix to last change.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 10 Aug 2006 16:07:43 +0000
parents aba5975bd656
children c918cd93c615 858cb33ae39d
line wrap: on
line diff