]> https://gitweb.dealii.org/ - code-gallery.git/commit
Merge pull request #79 from bangerth/filenames
authorTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 21:47:52 +0000 (17:47 -0400)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 21:47:52 +0000 (17:47 -0400)
commite71cc7624f5a61c3eba28701b421c612dc630904
tree342565b47157967b8739597b9c3094a0ef9e103e
parente8b4f5ce12cf31d95031998228588c3e5695edbe
parent485daf90b9f4ecd2b6ce663a2a8c0772706a1d8e
Merge pull request #79 from bangerth/filenames

Use the normalized file names in doc/.

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.