diff move-if-change @ 75794:439a537f19e5

Revert previous change, since I'm not sure it is correct.
author Glenn Morris <rgm@gnu.org>
date Sun, 11 Feb 2007 04:08:01 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff