]> https://gitweb.dealii.org/ - dealii.git/commit
fix agrayver username 8992/head
authorTimo Heister <timo.heister@gmail.com>
Sat, 2 Nov 2019 21:47:34 +0000 (17:47 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 2 Nov 2019 21:47:34 +0000 (17:47 -0400)
commit136bb726d965e780d2f1ee33a3e069a77c5fc56b
tree7389cfb69ed0a89c6ca378b8e7643f95fb67b051
parentfa697d4749ff4d3d990656c5d734810ce51bb4fa
fix agrayver username

fixes #8990
.mailmap

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.