diff make-dist @ 102575:19d1ace1f9eb

mini.texi needs to be rechecked.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 15 Mar 2009 02:48:26 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff