diff options
author | 2017-06-23 15:37:34 +0200 | |
---|---|---|
committer | 2017-08-08 17:24:00 +0200 | |
commit | 0b465f48da16c2e4f634a53892705c7ecc885ece (patch) | |
tree | 8ac4f464f86e1667f8e33fe94c08aa5c385fad0d /src/util.h | |
parent | 10d979c88cdcbab18e3401427f981e22d80ce8bb (diff) |
use unordered_map for id->obj maps
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Diffstat (limited to 'src/util.h')
0 files changed, 0 insertions, 0 deletions