This website requires JavaScript.
Explore
Help
Sign In
luanti-org
/
luanti
Watch
1
Star
0
Fork
0
You've already forked luanti
mirror of
https://github.com/luanti-org/luanti.git
synced
2025-11-30 12:43:49 +01:00
Code
Activity
Files
956a0ba180883eb31f504b27577073a949fe7b05
luanti
/
builtin
/
mainmenu
/
tab_online.lua
Tre
5ef9056e89
Add a refresh button to the serverlist (
#6957
)
...
* add refresh button * Make search and refresh buttons smaller * Change to image button
2018-02-19 08:25:57 +01:00
10 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink