]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6493 from luca-heltai/fix-order-parsing-external-conf-master
authorMatthias Maier <tamiko@43-1.org>
Sun, 6 May 2018 15:20:57 +0000 (10:20 -0500)
committerGitHub <noreply@github.com>
Sun, 6 May 2018 15:20:57 +0000 (10:20 -0500)
commitb009e73e03db69d51c3a0a214e2998e6f350db2a
tree23af31fb0e51bc0bb22f2bc4bfadea0a68265223
parent88fe0117ee0daeb4ce1eaebe55c84028b5917281
parent73550a00606cb7171c4378e6f7971625f73bcc3e
Merge pull request #6493 from luca-heltai/fix-order-parsing-external-conf-master

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.