diff man/anti.texi @ 40793:4126b1d76d8f

(Info-fontify-node): Highlight every third menu item.
author Richard M. Stallman <rms@gnu.org>
date Wed, 07 Nov 2001 04:35:20 +0000
parents 7f6156d8c1af
children d9eb8b50a070
line wrap: on
line diff