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 /haddock-api/resources/html/Classic.theme/minus.gif | |
parent | 9816929b2e1e34cb33637329f7f1af37e1035f07 (diff) |
Travis: `--allow-newer` for all packages
Diffstat (limited to 'haddock-api/resources/html/Classic.theme/minus.gif')
0 files changed, 0 insertions, 0 deletions