]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8332 from masterleinad/replace_boost_random
authorTimo Heister <timo.heister@gmail.com>
Fri, 28 Jun 2019 10:26:02 +0000 (11:26 +0100)
committerGitHub <noreply@github.com>
Fri, 28 Jun 2019 10:26:02 +0000 (11:26 +0100)
commit117b84a48aae09b64414cd25ba103fb09f6964bc
treede7f5c8cb999d8ef07fbe92012aade2f1eadd4bb
parentb40aa23ed7df5294daac7d85306f3117a751baee
parent4395c31119d90170d45c46c2f3d8dadc1d182315
Merge pull request #8332 from masterleinad/replace_boost_random

Revert #8312: Replace boost random

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.