]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9284 from bangerth/coloneq
authorDavid Wells <drwells@email.unc.edu>
Sat, 11 Jan 2020 15:05:45 +0000 (10:05 -0500)
committerGitHub <noreply@github.com>
Sat, 11 Jan 2020 15:05:45 +0000 (10:05 -0500)
commit75520aaff19622df19e0b40f827de647d82e278b
treec693cf9845cdd27fa30239aa83720dce75bcf5ff
parente88c03f3e3a05c4122271d071db3dd6945c3ca96
parent64ea3b858ff7a087bc9c1b912f5bf4f44bd2b835
Merge pull request #9284 from bangerth/coloneq

Fix \coloneq again.

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.