about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-03-16T09·52+0100
committerEelco Dolstra <edolstra@gmail.com>2017-03-16T09·52+0100
commit0ec7f47b00659cf043eb7fbe72385a08f7e9f8e2 (patch)
tree820dd15bf3c739616b177e7d8279997622e74822 /.gitignore
parent43f158bb0885c2eb9180ef7ab24034b1b9353e8b (diff)
Remove "killing process <pid>" messages
They convey no useful information.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions