]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17802 from bangerth/strings
authorMartin Kronbichler <martin.kronbichler@rub.de>
Thu, 24 Oct 2024 07:58:58 +0000 (09:58 +0200)
committerGitHub <noreply@github.com>
Thu, 24 Oct 2024 07:58:58 +0000 (09:58 +0200)
commit7f8a567075595b5928dcffb6d8194faa27ddb33f
tree7d6134a1dc8b07a26772b65e2e0e256cf4c07cee
parentedc06b2e841119e9d947955aed41457897a7d4df
parentc1c0368412e1af3ea2e813946ae9e212320afede
Merge pull request #17802 from bangerth/strings

Simplify string handling.

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.