]> https://gitweb.dealii.org/ - dealii.git/commit
contrib/makeofflinedoc.sh: Use https instead of http 6166/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 5 Apr 2018 15:16:46 +0000 (10:16 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 5 Apr 2018 15:16:46 +0000 (10:16 -0500)
commit126f96c90150bc5f0ee68280ffd68540ee6276c2
treee0728d15440f45e676473a2e515cac239023d3ce
parent9a98baf1bad18bf2bb6586f188d3b7959e97b95a
contrib/makeofflinedoc.sh: Use https instead of http
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.