]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5812 from masterleinad/unused_metis
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 27 Jan 2018 01:15:05 +0000 (18:15 -0700)
committerGitHub <noreply@github.com>
Sat, 27 Jan 2018 01:15:05 +0000 (18:15 -0700)
commit33d82270e5e51ec1f8017e0abdda748fe1855af2
tree5018bbbdc6397611fb9956070bceb30756deb950
parenta3482cf2778e8e44486bb5a5db1894e807277c02
parenta94a21065d95502b0d7adc8a28b2976d17b4da90
Merge pull request #5812 from masterleinad/unused_metis

More unused parameters without METIS

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.