diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-29 10:34:11 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-29 12:55:05 +0200 |
| commit | 8ab0cf5b552a911e8033be38f8dcc265155059df (patch) | |
| tree | 62eadf9c8eebea86d424d4751b08cf0c73ca716e /docs | |
| parent | 002adf19d0f68e9a082150ef9ff659c46ea82d60 (diff) | |
.gitignore: add *.tmp
Common temp file extension.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions