diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-03 13:37:07 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-03 13:37:07 +0200 |
| commit | 47f637d23bf44b637041383b739780d9959331db (patch) | |
| tree | fc1fd597add3f91fe3b7caf6d26729bb4ecc3dc3 /src/ptr_set.cpp | |
| parent | 59f55a21193ec7461205f4bb95303b69f3f7ce1c (diff) | |
Add deprecation warnings for -opt and flag=value insted of flag:value.
Diffstat (limited to 'src/ptr_set.cpp')
0 files changed, 0 insertions, 0 deletions