comparison etc/pl-refcard.ps @ 56882:dca3dbca04cc

(Info-fontify-node): Don't compute other-tag if Info-hide-note-references=hide.
author Juri Linkov <juri@jurta.org>
date Thu, 02 Sep 2004 16:36:18 +0000
parents cca3d7d412be
children 3f1743ca9233
comparison
equal deleted inserted replaced
56881:4be25baf31b5 56882:dca3dbca04cc