diff move-if-change @ 80181:7e99c7b33e67

Some comments on previous change. A couple of things are already fixed.
author Glenn Morris <rgm@gnu.org>
date Sat, 23 Feb 2008 21:01:03 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff