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
c4578aefe7dd920668ce77a99387ee3581f47311
luanti
/
builtin
/
mainmenu
/
dlg_delete_content.lua
rubenwardy
57517628f0
Fix games not updating on deletion
...
As reported by @random-geek
2019-02-18 16:39:28 +00:00
2.5 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink