]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14268 from drwells/missing-headers
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Wed, 14 Sep 2022 05:40:18 +0000 (07:40 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Sep 2022 05:40:18 +0000 (07:40 +0200)
commit6aa4b37c1c490fd5f3d0a0633d871976515df8c9
tree266b4b2e26e33649f31955a8b5df6a99883f5fb6
parent734fde1f99d5d024e951edb38a26a6e0719d7595
parent2f02829c45c2ccaeedd1c13d8d5cd0e9dd363743
Merge pull request #14268 from drwells/missing-headers

Ensure that every header which uses numeric_limits includes limits.

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.