diff move-if-change @ 92295:72a3622268cc

(make-obsolete): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 28 Feb 2008 03:47:59 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff