]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6624 from tamiko/fix_offline_doc
authorTimo Heister <timo.heister@gmail.com>
Fri, 18 May 2018 18:42:41 +0000 (20:42 +0200)
committerGitHub <noreply@github.com>
Fri, 18 May 2018 18:42:41 +0000 (20:42 +0200)
commit32e8091ee8b0ec1b001da708b43bfd147fd4f4eb
treebd9b678b87b941b260963d6d274063af54b717c4
parentf38367313d5faeb68354933ac5f6d2a41f9bb349
parentc8eb8f39364653ce2938e7923875872d55bda939
Merge pull request #6624 from tamiko/fix_offline_doc

Contrib: Update make_offlinedoc.sh

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.