]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18233 from bangerth/errno-2
authorDavid Wells <drwells@email.unc.edu>
Wed, 12 Mar 2025 19:27:40 +0000 (15:27 -0400)
committerGitHub <noreply@github.com>
Wed, 12 Mar 2025 19:27:40 +0000 (15:27 -0400)
commit8fc7e873c17c5bff5685f894ec625f7a97b3b1e0
treeead524fb243c1ffb9e221d691485087c842762c0
parent666d72c29b832c182f50b91264c3d2e25d643b7c
parent46fdf2907503997111a790b269d357ef6430eeeb
Merge pull request #18233 from bangerth/errno-2

Remove a header include that is no longer needed.

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.