]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6256 from bangerth/doc-update
authorJean-Paul Pelteret <jppelteret@gmail.com>
Tue, 17 Apr 2018 17:18:17 +0000 (19:18 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Apr 2018 17:18:17 +0000 (19:18 +0200)
commit91ee39b664ff04ea494a4142c7dbbabcb595f309
treec5df4cb9dbfa6c08359ae87a2f0fcd320bad5500
parentbd409f030b2c4d984b9fb630717328739978a892
parent7a170870bb3c1eb5ec84aa2a23862636c5767380
Merge pull request #6256 from bangerth/doc-update

Clarify a comment for Utilities::generate_normal_random_number().

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.