]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15354 from tjhei/doc_distort_random
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 13 Jun 2023 19:27:10 +0000 (13:27 -0600)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2023 19:27:10 +0000 (13:27 -0600)
commit147772f6c8bd1e16de3cb0507a14e1cda025ff21
tree261b63ca011b5efe247ae158fbc07d2416c1aaf4
parent2211c25feaba19b1d0facd40d5b5e250aff05e76
parentbf109179e5011193b6e8136209821e3f9be67b0d
Merge pull request #15354 from tjhei/doc_distort_random

doc: add info to distort_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.