Alexander Medvednikov f413b2fa49 Revert "map: use hashmap instead of b-tree" ... This reverts commit 34d926350b.		2020-02-20 17:58:17 +01:00
..
tools	Revert "map: use hashmap instead of b-tree"	2020-02-20 17:58:17 +01:00
v	checker: minor fixes	2020-02-20 16:16:44 +01:00