diff config.bat @ 73205:eebe063ee090

better not use @LaTeX{}, I guess.
author Karl Berry <karl@gnu.org>
date Sun, 01 Oct 2006 22:52:07 +0000
parents b99080e25b28
children ddcbd2c1b70d 72dea2ff0142
line wrap: on
line diff