diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2016-09-02 21:06:05 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2016-09-02 21:29:36 +0200 |
| commit | 9cd2b2bcb4f52f514b36dfbd2fee309e2eee3509 (patch) | |
| tree | f07519f9bd3586d61a31288c7f8d0934c3ae69de /.github | |
| parent | dff70577439148c9e7a7166ff5065908e4d3d609 (diff) | |
ut2004demo: show on x86_64-linux as well
Fixes #18213. Also add a fast mirror; hopefully the URL is persistent.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions