diff configure @ 97620:73e437dedb98

Checked mini.texi
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 22 Aug 2008 19:34:25 +0000
parents 92ac38fd997e
children dafd1efe2d45
line wrap: on
line diff