diff man/display.texi @ 46185:448035b01550

Remove unused variable `face'.
author Pavel Janík <Pavel@Janik.cz>
date Fri, 05 Jul 2002 19:59:54 +0000
parents dd119e0d1cea
children 3fc21f1b20f0
line wrap: on
line diff