Merge pull request #888 from nico/del
authorNico Weber <nicolasweber@gmx.de>
Sun, 4 Jan 2015 02:01:20 +0000 (18:01 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sun, 4 Jan 2015 02:01:20 +0000 (18:01 -0800)
commit2e922960014e43dd63bd9f8384836d7fd191d1ff
treea7998e3d5ed10eb01f5b9ca4266432d7eaac7c7e
parentefdfaa0907dcf687b55f15fad299e460abbcda58
parentfd688d1df388906c02d4b0f1980750748f2b45fc
Merge pull request #888 from nico/del

Remove unused hash<std::string>.