diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-03-21 22:49:05 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-03-21 22:49:05 +0100 |
| commit | 32c25651f707b13f5f0c27cf807521cf163dcacb (patch) | |
| tree | 744304a5ba2a6b6fa4735aab9081ae7a7dce38c1 /.gitignore | |
| parent | 07b1d9ca86567344a2dbac05f0d336890a4fb660 (diff) | |
Be more tolerant of bot errors
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions