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-12-14 03:05:22 +01:00
Code
Activity
Files
05b54a8d18051a3452c405f58bee5852f3d3a27b
luanti
/
builtin
/
mainmenu
/
serverlistmgr.lua
sfan5
e5f802ab5c
Fix server favorites not saving when client/serverlist/ doesn't exist already (
#11152
)
2021-04-05 16:02:32 +02:00
6.9 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink
