]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13167 from bangerth/isspace
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 5 Jan 2022 14:51:26 +0000 (09:51 -0500)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 14:51:26 +0000 (09:51 -0500)
commitbcfa3f6a189f531b5ee8eb5ebb16e46664cbcbff
tree35b8988323bcf32c9fa6d76f6bb54cb41a1c14c5
parent80285a174125160a7e969c86aecb42fd1d16b7bf
parenta52e4b4df1a9797b7403fbcfa19f0eb0dc7ac73a
Merge pull request #13167 from bangerth/isspace

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.