]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16903 from bangerth/href
authorMartin Kronbichler <martin.kronbichler@rub.de>
Fri, 19 Apr 2024 07:15:48 +0000 (09:15 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Apr 2024 07:15:48 +0000 (09:15 +0200)
commit97eafd51290b8b41a20c2aee16381b25b545bb95
tree0f95b38cefa6efcd38518641bf97a7777bbd1271
parent838b4164b1ee73ad3430a326e71a8b518c9eee92
parent90646c98bd95343029ef3c3880a54fe01641b0d4
Merge pull request #16903 from bangerth/href

When creating a reference, use 'href', not 'name'.

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.