diff etc/JOKES @ 77772:677c6dd06818

(Info-fontify-node): Match https also.
author Richard M. Stallman <rms@gnu.org>
date Tue, 22 May 2007 08:23:36 +0000
parents 02e2382f5e8a
children
line wrap: on
line diff