diff man/back.texi @ 28112:853a7fcaf7f0

(info-lookup): Use display-color-p.
author Dave Love <fx@gnu.org>
date Sun, 12 Mar 2000 15:29:12 +0000
parents e96ffe544684
children 695cf19ef79e
line wrap: on
line diff