diff man/widget.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 66abcfdcc731
children 69b3598a61c5 5b029ff3b08d
line wrap: on
line diff