comparison src/fontset.c @ 48107:c0a7fff00ce5

(Info-hide-note-references): New defcustom. (Info-fontify-node): Use it.
author Kim F. Storm <storm@cua.dk>
date Fri, 01 Nov 2002 08:53:50 +0000
parents 8a4e82b00f6f
children fc85fba774da
comparison
equal deleted inserted replaced
48106:d69a38446204 48107:c0a7fff00ce5