annotate src/s/alliant-2800.h @ 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 45d463eff0b3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source