]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7172 from masterleinad/epetraext_optional
authorJean-Paul Pelteret <jppelteret@gmail.com>
Tue, 11 Sep 2018 08:45:42 +0000 (10:45 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Sep 2018 08:45:42 +0000 (10:45 +0200)
commit5d5733d126496c8c35d7b8d2fbf8aa0dbd2eb755
tree9aed2e597a5b4d3a4379315c8e3af482213093cc
parentdc242252451ea806607f00ed6d91cdbff47ff65d
parent644c101a263381ffe76f94dbad5b48857b4563fe
Merge pull request #7172 from masterleinad/epetraext_optional

Mark EpetraExt as optional

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.