diff man/help.texi @ 88916:ef4c8f452558

(copyright-regexp): Remove redundancy.
author Dave Love <fx@gnu.org>
date Tue, 30 Jul 2002 11:22:40 +0000
parents eaeec47bf5fe
children dfc7817ae834
line wrap: on
line diff