]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12036 from bangerth/uniformity
authorTimo Heister <timo.heister@gmail.com>
Sat, 10 Apr 2021 17:14:19 +0000 (13:14 -0400)
committerGitHub <noreply@github.com>
Sat, 10 Apr 2021 17:14:19 +0000 (13:14 -0400)
commit8e208ae9dca8349c52b230514722463eb6fd51f4
treeb4bf535e53aafc6feb8c86e8c3e3c4d6adb5f1a6
parent5d33318e1fbfc19a7002a4259005932e56ffccff
parent20d5885cfdaa6c82a1ef44cfbb94fcd486e5ec24
Merge pull request #12036 from bangerth/uniformity

Make tooltips more uniform in style.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.