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
352a403bd0346ded1f43b47946c3dc7bfc250803
luanti
/
builtin
/
mainmenu
/
settings
/
dlg_settings.lua
Gregor Parzefall
26bb397852
Add advanced settings checkbox and hide advanced settings by default (
#13861
)
...
Co-authored-by: rubenwardy <
rw@rubenwardy.com
>
2023-10-07 21:34:59 +02:00
20 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink