diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-12-08 15:09:58 +0100 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-12-08 15:09:58 +0100 |
| commit | 8128bb79b0db9023a98c356e4e173d846057c577 (patch) | |
| tree | 38bd884b8a9238603976a6c81434e2c92112bd57 /util/text | |
| parent | 52ef5e96f543ca242a9e1e8f2917492eb3d3fb95 (diff) | |
| download | git-bug-8128bb79b0db9023a98c356e4e173d846057c577.tar.gz | |
repo: close before deleting
Diffstat (limited to 'util/text')
0 files changed, 0 insertions, 0 deletions