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/guiVolumeChange.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/guiVolumeChange.h')
| -rw-r--r-- | src/gui/guiVolumeChange.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/gui/guiVolumeChange.h b/src/gui/guiVolumeChange.h index 466e17f9d..ccdaca00b 100644 --- a/src/gui/guiVolumeChange.h +++ b/src/gui/guiVolumeChange.h @@ -31,9 +31,6 @@ public: GUIVolumeChange(gui::IGUIEnvironment* env, gui::IGUIElement* parent, s32 id, IMenuManager *menumgr, ISimpleTextureSource *tsrc); - ~GUIVolumeChange(); - - void removeChildren(); /* Remove and re-add (or reposition) stuff */ |