]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7051 from masterleinad/deprecate_mgtools_extract_non_interface_dofs
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 14 Aug 2018 22:17:04 +0000 (16:17 -0600)
committerGitHub <noreply@github.com>
Tue, 14 Aug 2018 22:17:04 +0000 (16:17 -0600)
commit2f8387dfd28401fed28e671b6435c27a163a470b
treef5e298d672d7b3c11a03fad23053f3bfe23d8dbe
parent6c5f5f56b7397f2dd5312dc15c18960ce0793ff1
parent19e93e077e2c373850c8cb19b7bf19c2a9eadb1e
Merge pull request #7051 from masterleinad/deprecate_mgtools_extract_non_interface_dofs

Deprecate MGTools::extract_non_interface_dofs

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.