diff doc/misc/info.texi @ 102592:9035a057d960

Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Sun, 15 Mar 2009 22:57:59 +0000
parents 9bcea07061a8
children 1d1d5d9bd884
line wrap: on
line diff