]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12673 from drwells/remove-unused-field
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 19 Aug 2021 00:13:37 +0000 (18:13 -0600)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 00:13:37 +0000 (18:13 -0600)
commitdc2e25f205a2ed08e947dc01e22ac8803224c485
tree94ba8e46947f37cb919c22364968cc9351047910
parent406c6ac81c9175725bf3a6981f0ec0d91725e6da
parent42fe80513d0b795e5e3ed8dafaedacec8dfa0502
Merge pull request #12673 from drwells/remove-unused-field

Remove an unused member variable.

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.