diff options
| author |  jesopo | 2018-11-27 12:00:31 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-27 12:00:31 +0000 |
| commit | a429e04a126fd3de1b6ffec9ed22b4d05f3140c4 (patch) | |
| tree | 8ab6bf6e8c509dac49207aa0cd7e9b91540ce053 | |
| parent | Add a way to catch when a writebuffer is emptied so we can e.g. assure a QUIT is (diff) | |
| signature | ||
Change .gitignore entry for log files to include new 'trace.log'/'warn.log'
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ pip-log.txt pip-delete-this-directory.txt # logging -bot.log* +logs/*.log* # databases *.db |