diff etc/CENSORSHIP @ 61450:4ccc4c9adf16

(Info-fontify-node): Handle fontification of multiple * Menu lines in one node.
author Richard M. Stallman <rms@gnu.org>
date Sun, 10 Apr 2005 23:31:17 +0000
parents 01772baf50a3
children 632018b817e3
line wrap: on
line diff