From: Timo Heister Date: Mon, 23 Jan 2017 15:13:15 +0000 (-0500) Subject: Merge pull request #3837 from drwells/fix-doxygen-table X-Git-Tag: v8.5.0-rc1~211 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9434e2b0f80cc7e64ddd1e4ec402ffedd8e2ac71;p=dealii.git Merge pull request #3837 from drwells/fix-doxygen-table Fix the default doxygen table colors. --- 9434e2b0f80cc7e64ddd1e4ec402ffedd8e2ac71