diff options
| author | Karl Berry <karl@gnu.org> | 1998-06-24 11:45:50 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-06-24 11:45:50 +0000 |
| commit | f1069531396c969ef966803b393bb6748f1df004 (patch) | |
| tree | 834a9de14c943b6132b8818b9ac897c5a1807deb /build_w32.bat | |
| parent | 54727192c0c9ff00c4a1abf453b34f00bdeb68b3 (diff) | |
| download | gunmake-f1069531396c969ef966803b393bb6748f1df004.tar.gz | |
* texinfo.tex (\dots, \enddots): Missing \leavevmode.
Report from: Thomas Esken <esken@nmlab.informatik.fh-dortmund.de>
Date: Tue, 23 Jun 1998 14:22:27 +0200 (MET DST)
Diffstat (limited to 'build_w32.bat')
0 files changed, 0 insertions, 0 deletions