diff options
author | sharkdp <davidpeter@web.de> | 2018-10-19 22:14:18 +0200 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2018-10-19 23:06:25 +0200 |
commit | 7082fd09f0e8a2504f3386587b77f538ee97fa72 (patch) | |
tree | 32957da4a67949e1066b2ecc92d45b76b4a1f0d1 /tests | |
parent | 857cc215b407d844ef5a8f3b97e5b23405d8c52b (diff) |
Modify TravisCI caching policy
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions