diff options
| author | Juri Linkov <[email protected]> | 2004-11-05 19:06:24 +0000 |
|---|---|---|
| committer | Juri Linkov <[email protected]> | 2004-11-05 19:06:24 +0000 |
| commit | ca53db337fe95e923eb0b030999d313e16b100a9 (patch) | |
| tree | 575345aee1a6921456bcfc41a809bda9b769ca23 /config.bat | |
| parent | 3296d21b53c19d620538dae1179a6c9d6dc5de8f (diff) | |
(Info-search): Don't search in node header lines and file headers.
Diffstat (limited to 'config.bat')
0 files changed, 0 insertions, 0 deletions