One more update to haddock submodule
authorBen Gamari <ben@smart-cactus.org>
Mon, 16 May 2016 19:04:40 +0000 (21:04 +0200)
committerBen Gamari <ben@smart-cactus.org>
Mon, 16 May 2016 19:04:40 +0000 (21:04 +0200)
commit76177935426c5558c62323e7b8c0afea2b37cd72
treeb7450154e123e9fd46048086872aec19e29e1434
parent9649973c8038591a2c9f77e1183dd920b724daa5
One more update to haddock submodule

Remove html_theme declaration.
utils/haddock