]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a870f67 e98eedb)
Merge pull request #5827 from bangerth/sort-code-gallery
authorDenis Davydov <davydden@gmail.com>
Thu, 1 Feb 2018 16:44:25 +0000 (17:44 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Feb 2018 16:44:25 +0000 (17:44 +0100)
Sort entries to the code gallery by their name, not their directory name.


Trivial merge
Mirror of the development repository for deal.II

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.