]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15783 from bangerth/_t
authorMatthias Maier <tamiko@43-1.org>
Mon, 24 Jul 2023 06:32:39 +0000 (06:32 +0000)
committerGitHub <noreply@github.com>
Mon, 24 Jul 2023 06:32:39 +0000 (06:32 +0000)
commitaafd08c65dada31b9f210d85e2add4fe3bd94047
tree0fbfa4c22f244bef66c64614d59f87cdf4fbe89f
parentdb3b59fedafe0404c779beedd8386fb1c24396a4
parent72841f0feed12af074c16480c4ce26fdbf3ec882
Merge pull request #15783 from bangerth/_t

More work to replace std::*::type by std::*_t.

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.