tree 5c11cffda3c156fab9a1fd40c053e2731bc7b120
parent e99fdb79f821dfdb3b8200a5f6688688ecc0b4b8
author Marco Poletti <poletti.marco@gmail.com> 1463918513 +0100
committer Marco Poletti <poletti.marco@gmail.com> 1464513091 +0100

Switch to Boost's unordered_{hash,map}.