]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8312 from masterleinad/replace_boost_random
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 24 Jun 2019 02:34:45 +0000 (22:34 -0400)
committerGitHub <noreply@github.com>
Mon, 24 Jun 2019 02:34:45 +0000 (22:34 -0400)
commitcb6e74caa61d46b6a8b13b76b78e40b545067a22
tree8a4f77e2552092d7bea15d74934b1892291caef1
parent9e8b81733cb5e3fb205d7c5885a0c8353a7509e8
parent68656c3764b03c06a2eff65cdd75f7f794d9793b
Merge pull request #8312 from masterleinad/replace_boost_random

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.