]> https://gitweb.dealii.org/ - dealii.git/commit
further improve download script 6624/head
authorMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 12:48:50 +0000 (07:48 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 15:02:55 +0000 (10:02 -0500)
commitc8eb8f39364653ce2938e7923875872d55bda939
tree17ecbfc7d66145de3277609b21d6f0a547c5b4ad
parent43a0e7aa675acc3347d134f459f6e1e116979e93
further improve download script
contrib/utilities/makeofflinedoc.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.