diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-30 09:37:52 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-30 09:37:52 +0100 |
| commit | 92333c45b0a5fdf4894a8cf706c2066070ccb28b (patch) | |
| tree | ee4b6c4211945e32670574cd03dac8f922c6d80e /.gitignore | |
| parent | bf1a871ccd92586bdb989558433846651e8a434d (diff) | |
| download | builder-92333c45b0a5fdf4894a8cf706c2066070ccb28b.tar.xz | |
bin/interpret-mail: be quiet if nothing was done without error
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions