diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-27 02:00:31 (EST) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-27 02:00:31 (EST) |
| commit | 3aa9f6158e548f127ee8e4299f67c2275f7d693d (patch) | |
| tree | 8e540f6cebf00b360b638fb3d64071fdab335a7b /.gitignore | |
| parent | a04f90fbb307d45da443e5d58b7c116782852581 (diff) | |
tools/shman.sh: Open/close tags file only once
Otherwise, only the symbols from the last input file would remain in the
file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions