diff options
| author | Andrei Karas <akaras@inbox.ru> | 2018-07-09 04:02:02 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-07-09 07:20:45 +0300 |
| commit | 701362e58c5b0ab54612c92e7bb9466b83d7ce08 (patch) | |
| tree | 2ff8b9a3d9a101079b66dc799c675819d0aa74cd /maps | |
| parent | 8ab25d871e084add31de840aafe3769ea508119d (diff) | |
| download | serverdata-701362e58c5b0ab54612c92e7bb9466b83d7ce08.tar.gz serverdata-701362e58c5b0ab54612c92e7bb9466b83d7ce08.tar.bz2 serverdata-701362e58c5b0ab54612c92e7bb9466b83d7ce08.tar.xz serverdata-701362e58c5b0ab54612c92e7bb9466b83d7ce08.zip | |
Switch valgrind ci jobs to debian stretch due performance issue in unstable.
Diffstat (limited to 'maps')
0 files changed, 0 insertions, 0 deletions