1
0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-13 16:45:20 +02:00

Hide uninstall package button on unmodifiable paths (#8255)

This commit is contained in:
rubenwardy
2019-03-05 07:12:58 +00:00
committed by Loïc Blot
parent b5defcffba
commit 5d2624ab82
3 changed files with 21 additions and 3 deletions

View File

@@ -130,6 +130,8 @@ private:
static int l_extract_zip(lua_State *L);
static int l_may_modify_path(lua_State *L);
static int l_download_file(lua_State *L);
static int l_get_video_drivers(lua_State *L);