diff options
| author | Wuzzy <wuzzy2@mail.ru> | 2018-10-16 06:25:34 +0200 |
|---|---|---|
| committer | Paramat <paramat@users.noreply.github.com> | 2018-10-16 05:25:34 +0100 |
| commit | 40ab3e011de5be83b342e5d2b67c2837294b2d58 (patch) | |
| tree | 64f5379133fe2c47ee19428d29129cea35e4bab8 /build/android | |
| parent | b6adb7f09e4375f145c3ddb592527c1dd0b026a2 (diff) | |
| download | minetest-40ab3e011de5be83b342e5d2b67c2837294b2d58.tar.gz minetest-40ab3e011de5be83b342e5d2b67c2837294b2d58.tar.bz2 minetest-40ab3e011de5be83b342e5d2b67c2837294b2d58.zip | |
Add disable_repair group to prevent tool repair (#7381)
Diffstat (limited to 'build/android')
0 files changed, 0 insertions, 0 deletions