diff man/idlwave.texi @ 74507:1753078e0ea2

Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Sat, 09 Dec 2006 03:59:52 +0000
parents b7261e09f8e4
children 3d45362f1d38 a8190f7e546e
line wrap: on
line diff