diff move-if-change @ 112324:2b598aa5d397

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