diff man/idlwave.texi @ 64872:0f065023e506

Fix `+++' and `---' for Info mode. Add `vertical-border' face.
author Juri Linkov <juri@jurta.org>
date Tue, 09 Aug 2005 22:24:18 +0000
parents bae786986f2e
children 3723093a21fd 4da4a09e8b1b
line wrap: on
line diff