diff options
author | Tre <ThomasMonroe@protonmail.com> | 2018-02-19 01:25:57 -0600 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-02-19 08:25:57 +0100 |
commit | 5ef9056e89855660d93c4e8d98a7dbc349c1a7eb (patch) | |
tree | 996d635f82846fec0548819eaffda49dc72c8718 /build/android/jni/Irrlicht.mk | |
parent | 4bb41a19dc74fa31cb021dc3b5622814d67fbd6f (diff) | |
download | minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.tar.gz minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.tar.bz2 minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.zip |
Add a refresh button to the serverlist (#6957)
* add refresh button
* Make search and refresh buttons smaller
* Change to image button
Diffstat (limited to 'build/android/jni/Irrlicht.mk')
0 files changed, 0 insertions, 0 deletions