diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-04 13:29:52 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-04 13:29:52 +0200 |
| commit | dc323cfa1d935e6b5e9d8bf04fb8597fc8b66bce (patch) | |
| tree | 0d8d7e34ab981b3e665bdd48edb5a51be5e75eee /src/ptr_set.cpp | |
| parent | 0afa226a9370add6f7ec67dadc7675cd594f95df (diff) | |
Small fix to deprecation warning.
Diffstat (limited to 'src/ptr_set.cpp')
0 files changed, 0 insertions, 0 deletions