]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18427 from bangerth/fix-3
authorDavid Wells <drwells@email.unc.edu>
Tue, 6 May 2025 19:59:48 +0000 (15:59 -0400)
committerGitHub <noreply@github.com>
Tue, 6 May 2025 19:59:48 +0000 (15:59 -0400)
commit922134baab1ba1aaf1fafd31dc4f0f343f7f8804
tree63dc1e6cd94f9ee83d8f736e3b027a89fdd270a2
parent18c6fb41f6fdedcaedd73c36f384ca9059c869c1
parent7321ea7b99efadfc1127429e69bb967bd852eccd
Merge pull request #18427 from bangerth/fix-3

Prefer std::ptrdiff_t over ::ptrdiff_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.