diff lib-src/rcs2log @ 96733:c1059cece4e3

(with_ns): Remove dead code, since OPTION_DEFAULT_OFF means never unset.
author Glenn Morris <rgm@gnu.org>
date Wed, 16 Jul 2008 08:07:08 +0000
parents 3a4bc081639c
children c24da9d5750f
line wrap: on
line diff