diff options
| author | Wuzzy <wuzzy2@mail.ru> | 2021-07-27 17:09:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-27 19:09:14 +0200 |
| commit | 216728cc5e83ff6c4f13a52821ff3c24b1e315e9 (patch) | |
| tree | 0ee1fee829124d7ecd520691b2b4c2fbb0cc8cfb /util/ci/common.sh | |
| parent | 9c145ba0d8baeea57914c62fcc07c06bc6a0257a (diff) | |
| download | minetest-216728cc5e83ff6c4f13a52821ff3c24b1e315e9.tar.gz minetest-216728cc5e83ff6c4f13a52821ff3c24b1e315e9.tar.bz2 minetest-216728cc5e83ff6c4f13a52821ff3c24b1e315e9.zip | |
Improve documentation of tools (#11128)
Diffstat (limited to 'util/ci/common.sh')
0 files changed, 0 insertions, 0 deletions