diff config.bat @ 99271:705b95a5c9b0

Checked building.texi.
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 31 Oct 2008 06:24:56 +0000
parents 41ca0b01da7d
children 4d2b872f8fef
line wrap: on
line diff