diff move-if-change @ 102702:6fa13effea11

(Re)checked mini.texi.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 23 Mar 2009 03:15:25 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff