]> https://gitweb.dealii.org/ - dealii.git/commit
Replaced void cast with maybe_unused 17504/head
authorSanjeeb Poudel <paudelsanjeeb@gmail.com>
Thu, 15 Aug 2024 22:21:53 +0000 (16:21 -0600)
committerSanjeeb Poudel <paudelsanjeeb@gmail.com>
Thu, 15 Aug 2024 22:22:40 +0000 (16:22 -0600)
commita57493d8d103015f657700bb65e052a2529c1982
treeeb9f9b9274a515fb0ca51d8d208058f803ec1a8c
parent3b13bb872789ef9aa353639625657c51d19b344c
Replaced void cast with maybe_unused
source/grid/tria_accessor.cc

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.