diff options
| author | Christian Pointner <equinox@helsinki.at> | 2018-11-07 11:04:05 (GMT) |
|---|---|---|
| committer | Christian Pointner <equinox@helsinki.at> | 2018-11-07 11:04:05 (GMT) |
| commit | b141c2d018365a717aa16982b772fe800062b40f (patch) | |
| tree | 2d017f222e8d2a654243b611dfd588f8dd53f329 /.gitignore | |
| parent | fb90864a19f2b834ce8ba5773dc0a6aed9e0f11e (diff) | |
make check-mk check more resilient
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions