diff move-if-change @ 84720:c70bc6c95f4a

Remove obsolete file.
author Glenn Morris <rgm@gnu.org>
date Fri, 21 Sep 2007 03:42:20 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff