diff options
author | paradust7 <102263465+paradust7@users.noreply.github.com> | 2022-05-21 15:11:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-22 00:11:59 +0200 |
commit | 9f338f5a56e5adee3d11d59827f7e2b8a714e6c2 (patch) | |
tree | a16861160b117c68078c686a02cd5aca6385c66d /src/gui/guiKeyChangeMenu.h | |
parent | 2742fef458c3626476193c9e2d1b9231e042e420 (diff) | |
download | minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.tar.gz minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.tar.bz2 minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.zip |
Replace all uses of core::list with std::list (#12313)
Diffstat (limited to 'src/gui/guiKeyChangeMenu.h')
-rw-r--r-- | src/gui/guiKeyChangeMenu.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/gui/guiKeyChangeMenu.h b/src/gui/guiKeyChangeMenu.h index 1c0f40247..84a898774 100644 --- a/src/gui/guiKeyChangeMenu.h +++ b/src/gui/guiKeyChangeMenu.h @@ -46,7 +46,6 @@ public: IMenuManager *menumgr, ISimpleTextureSource *tsrc); ~GUIKeyChangeMenu(); - void removeChildren(); /* Remove and re-add (or reposition) stuff */ |