diff move-if-change @ 72619:5dd4533a9a7e

(Man-topic-history): New variable. (man): Use it.
author Juri Linkov <juri@jurta.org>
date Sat, 02 Sep 2006 23:28:55 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff