diff move-if-change @ 112433:7b649f6eac4f

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 22 Jan 2011 17:09:09 -0800
parents 14a97ab281d5
children
line wrap: on
line diff