diff options
| author | rubenwardy <rw@rubenwardy.com> | 2021-01-20 20:37:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-20 20:37:24 +0000 |
| commit | 6693a4b30e37157becf79b4b20e991271a425609 (patch) | |
| tree | bd71aab4e9d82f09890cc16ee32ec94b6d0ad1d4 /builtin/profiler | |
| parent | e86c93f0bfe6c094014705fd659f186e2723522d (diff) | |
| download | minetest-6693a4b30e37157becf79b4b20e991271a425609.tar.gz minetest-6693a4b30e37157becf79b4b20e991271a425609.tar.bz2 minetest-6693a4b30e37157becf79b4b20e991271a425609.zip | |
Fix Android support in bump_version.sh (#10836)
Diffstat (limited to 'builtin/profiler')
0 files changed, 0 insertions, 0 deletions