removed obsolete boost workaround (boost ticket #4258)
authorPhilip Kaufmann <phil.kaufmann@t-online.de>
Thu, 5 Apr 2012 06:34:31 +0000 (08:34 +0200)
committerPhilip Kaufmann <phil.kaufmann@t-online.de>
Thu, 5 Apr 2012 06:34:31 +0000 (08:34 +0200)
commit7f10522c4316abb9d7dc6c97e48436a22b1a19a1
treeaab0029e2055f8b95c3700467f6819e2f7312f46
parent60d5ab3a165d06a4c8bd9af1de1d71f4356ce492
removed obsolete boost workaround (boost ticket #4258)
src/util.cpp