mirror of
https://github.com/minetest/minetest.git
synced 2024-09-19 20:08:33 +02:00
7217fd32eb
Also make only one >-redirection, sparing repetition. Also, use cut instead of awk, which is shorter and should be a bit faster. |
||
---|---|---|
.. | ||
android |