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
caee8eeff35b8c8d5fd5f83db72156d804485dde
luanti
/
builtin
/
mainmenu
/
settings
/
dlg_settings.lua
grorp
a29d3cf074
Save the settings in more cases to avoid losing setting changes (especially on Android) (
#14266
)
2024-01-23 21:33:27 +01:00
20 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink
