diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-01-11 14:48:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-11 14:48:00 +0100 |
| commit | c26510359acda20834e06e4446905393d165bdf4 (patch) | |
| tree | d0a0c193d9150e129ba52c21a731f56c23511893 /editor/icons/GuiHsplitter.svg | |
| parent | f414a323b168896a7350638d621636cd89b38c42 (diff) | |
| parent | 5ba60c17dd8c367202bc3ada3f2a1fec75d5971d (diff) | |
Merge pull request #42270 from AndreaCatania/AndreaCatania-patch-4
Added the function `remove_unordered` to the LocalVector container.
Diffstat (limited to 'editor/icons/GuiHsplitter.svg')
0 files changed, 0 insertions, 0 deletions