diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-04 20:05:56 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-04 20:06:15 +0100 |
| commit | 3e3fded4794963848f5a5beaf84ec1e578778219 (patch) | |
| tree | 0ed774ba4e7f3b67f39ba662a8d0feb9e9aaa649 /servers/navigation_server_3d.h | |
| parent | c9f626b5987c40635c0cf43a629ac3762a10bcf2 (diff) | |
CI: Shrink Windows cache to 3GB, we run out of disk space
Diffstat (limited to 'servers/navigation_server_3d.h')
0 files changed, 0 insertions, 0 deletions