diff options
| author | Karl Berry <karl@gnu.org> | 1997-07-09 20:45:27 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1997-07-09 20:45:27 +0000 |
| commit | f96ef9a409e2b30a67a1420fe2d1e88066d339a2 (patch) | |
| tree | ed9aded1c08f17c358f3a5e709bf8c841beaf34b /configure | |
| parent | 09616e5837a88a78ebcb78a19d36d02eff0fc2fa (diff) | |
| download | gunmake-f96ef9a409e2b30a67a1420fe2d1e88066d339a2.tar.gz | |
(\startcontents): Leave ^ catcode as other.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions