diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-01-17 01:38:27 +0100 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-01-17 01:38:27 +0100 |
| commit | bf63f97eeee65d1014b92a7dba4ffcf892d6aec6 (patch) | |
| tree | 2e8509628ea4415c06ed3be3ad78fa2f2e5ce4ea /tools/format.py | |
| parent | c3f4b0e671cfc604ebd66f6a320eb9cdc6f4904d (diff) | |
ci: work around appveyor cache bug
It keeps restoring an old cache. This renames the affected directory
in an attempt to work around that.
Diffstat (limited to 'tools/format.py')
0 files changed, 0 insertions, 0 deletions