-
Committer:
Marco Trevisan (Treviño)
-
Date:
2015-02-03 09:46:48 UTC
-
mto:
(3899.5.3 panel-titles-fixes)
-
mto:
This revision was merged to the branch mainline in
revision
3920.
-
Revision ID:
mail@3v1n0.net-20150203094648-5a4z0fd462y5aa9u
Unity: Use unordered_map whenever possible
As iterating over it seems just fast as in the ordered version, we just speedup lookups and insertions.