diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-14 14:23:16 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-14 14:23:16 +0100 |
| commit | a98825675b37988c059576b5bfd98bac173bdc25 (patch) | |
| tree | 8e7e392fdfc688af5a1066c728f6ef7807e1846a /doc/configuration-format.texi | |
| parent | e56ed85f4f11f3daec80326f7d43635281b3806b (diff) | |
add option to be selective about dropping the exchange list
Diffstat (limited to 'doc/configuration-format.texi')
0 files changed, 0 insertions, 0 deletions