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/resources/switch_back_off.png | |
parent | 8c585aa006741b95c1175afcdb01cdd3d8d2d7db (diff) |
Use unordered_map instead of map in the parsers.
Diffstat (limited to 'plugingui/resources/switch_back_off.png')
0 files changed, 0 insertions, 0 deletions