diff etc/LINUX-GNU @ 28168:e1acd68998c8

(Info-fontify-maximum-menu-size): Increase to 100000.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 16 Mar 2000 16:29:52 +0000
parents 6b5aacec5ace
children e7d1e0f7a699
line wrap: on
line diff