]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14265 from peterrum/sparse_matrix_tools_unused_warning
authorPeter Munch <peterrmuench@gmail.com>
Tue, 13 Sep 2022 12:25:23 +0000 (14:25 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Sep 2022 12:25:23 +0000 (14:25 +0200)
commit2c2b9513d9e7d7fe84465e3dc9da78fcade5c8e5
tree77a813b63b254c1078417b94d897f6d2580d3ce3
parentc3e9320d9a148aa7ff35791fec25c0a715273d45
parentf634c332c0ebd861890d806a8efaff5659af1093
Merge pull request #14265 from peterrum/sparse_matrix_tools_unused_warning

Fix unused warning

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.