diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-05-09 13:26:34 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-05-09 13:26:34 +0200 |
| commit | a5fedfeeb88a7a9b8f13aeb49eb43a68a4d7582c (patch) | |
| tree | db5400b7d2009df84bc55c6f15288420ba7a8672 /doc/exchange-db-generate.sh | |
| parent | 783642272d83fae148edfd308c86b157c3e4a6d4 (diff) | |
remove redundant check
Diffstat (limited to 'doc/exchange-db-generate.sh')
0 files changed, 0 insertions, 0 deletions