diff options
| author | Karl Berry <karl@gnu.org> | 1997-12-24 18:59:06 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1997-12-24 18:59:06 +0000 |
| commit | 7585dedefcd508de2a01c0de933334f1345676ca (patch) | |
| tree | 482f90d6903df53670ea4ea51c1cdb2b77b392e3 /glob/configure.bat | |
| parent | 57ba55d08cc61c7eb661cad68caa3acee4b7d9b0 (diff) | |
| download | gunmake-7585dedefcd508de2a01c0de933334f1345676ca.tar.gz | |
(\dots, \enddots): Use current font instead of always using math italic.
Diffstat (limited to 'glob/configure.bat')
0 files changed, 0 insertions, 0 deletions