diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-14 12:37:48 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-14 12:37:48 +0200 |
| commit | 095fa970b32c818ed4c06cefc00ba98aaff756fa (patch) | |
| tree | 7856c0dd1ddd0c1f3eef0422b0cd8e8a5a6b71cb /doc/.gitignore | |
| parent | 9816929b2e1e34cb33637329f7f1af37e1035f07 (diff) | |
Travis: `--allow-newer` for all packages
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions