]> https://gitweb.dealii.org/ - dealii.git/commit
Replaced (void) cast with maybe unused | Modernize void cast 17502/head
authorXiaochuan Tian <x.tian@columbia.edu>
Mon, 12 Aug 2024 21:38:50 +0000 (15:38 -0600)
committerMatthias Maier <tamiko@43-1.org>
Tue, 13 Aug 2024 03:21:43 +0000 (22:21 -0500)
commit3b779149fb527f33415516632b28561dbd2c26f5
tree62df9d97c0cf59672d24f23d362095987df357a6
parentda49396f05df548d8c9d3857c43a64a80a79bcbf
Replaced (void) cast with maybe unused | Modernize void cast
source/grid/grid_tools.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.