diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2016-03-28 11:21:51 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2016-03-29 22:19:49 +0200 |
| commit | 5e6e9d83bc0c04e3721f2674f9a33e172e524b2d (patch) | |
| tree | 1f97ddf497845a6246237b6c41118baaf2611dcd /plugingui | |
| parent | 8c585aa006741b95c1175afcdb01cdd3d8d2d7db (diff) | |
Use unordered_map instead of map in the parsers.
Diffstat (limited to 'plugingui')
0 files changed, 0 insertions, 0 deletions