diff options
| author | Karl Berry <karl@gnu.org> | 1996-11-05 19:51:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-11-05 19:51:16 +0000 |
| commit | b16829dc46949ad8027ef00f081f7c7c88508c84 (patch) | |
| tree | c2877ebe03f1af1d26a0894c73469ef6ffbc9342 /configure | |
| parent | c71e4ac26997b0c4cad26fcaf6826135ede3959d (diff) | |
| download | gunmake-b16829dc46949ad8027ef00f081f7c7c88508c84.tar.gz | |
Call \normalturnoffactive for the sake of \write's that include a \.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions