]> https://gitweb.dealii.org/ - dealii.git/commit
Make HTML label unique. 12429/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 22 Jul 2024 17:25:59 +0000 (11:25 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Mon, 22 Jul 2024 17:25:59 +0000 (11:25 -0600)
commit4dcf4901becb9b34be2e292091154c4cc4de5e17
tree9fcbe3ff42fb7889f40b96d95e0097166b93f5cf
parent123b5a4646348edb68872d9bca7956415d8823ec
Make HTML label unique.

Also follow the style of all other programs.
examples/step-83/doc/intro.dox
examples/step-86/doc/intro.dox

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.