diff options
| author | Mikaël Capelle <capelle.mikael@gmail.com> | 2021-01-31 18:52:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-31 18:52:51 +0100 |
| commit | 4ea7f7bf545d723cfedad269512e6a3f3f150a5b (patch) | |
| tree | 7b4cf4ad576dedefe189a2567eb4aafb7b580e64 /src/instancemanager.cpp | |
| parent | e15cc6dd3a9020c6d5dec1db226b8c33dc0e147e (diff) | |
| parent | 36855f96f31dc92ebb70c9ad49c9be7f771fb320 (diff) | |
Merge pull request #1391 from Holt59/pluginlist-case-insensitive
Use case-insensitive data structure in plugin list.
Diffstat (limited to 'src/instancemanager.cpp')
0 files changed, 0 insertions, 0 deletions