diff options
| author | Richard M. Stallman <rms@gnu.org> | 1997-07-10 01:23:38 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1997-07-10 01:23:38 +0000 |
| commit | fd688f6e9c7ec51150f19ed79958b355adde4c76 (patch) | |
| tree | 88da26bbbc711520c57c58b9ea9925f28939effe /build_w32.bat | |
| parent | f96ef9a409e2b30a67a1420fe2d1e88066d339a2 (diff) | |
| download | gunmake-fd688f6e9c7ec51150f19ed79958b355adde4c76.tar.gz | |
(\titlefont): Define again, using \titlefonts.
Diffstat (limited to 'build_w32.bat')
0 files changed, 0 insertions, 0 deletions