]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6492 from luca-heltai/fix-order-parsing-external-conf
authorDenis Davydov <davydden@gmail.com>
Sun, 6 May 2018 07:57:12 +0000 (09:57 +0200)
committerGitHub <noreply@github.com>
Sun, 6 May 2018 07:57:12 +0000 (09:57 +0200)
commit076ea8e293bcb7e39c714dcb2221de568167c6ad
tree584e1b593892c3f0f95742729f388bb5b516e063
parent5f31b62a906e775551f7ae5734d19195c29e7a77
parente352780c7b2ce198e22ec261a6e28faebd140b4d
Merge pull request #6492 from luca-heltai/fix-order-parsing-external-conf

Move parsing of external.conf at the end.

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.