]> https://gitweb.dealii.org/ - dealii.git/commit
replace (void) casts with [[maybe_unused]] 17489/head
authorMohamad Ghadban <mghadban@ualberta.ca>
Mon, 12 Aug 2024 20:51:08 +0000 (14:51 -0600)
committerMatthias Maier <tamiko@43-1.org>
Tue, 13 Aug 2024 03:13:28 +0000 (22:13 -0500)
commit57a086a0dd47b2dd2bd9dec8462ba2b3462b9616
treeb883e0b5f1ff58af7d78815628df986529c58448
parent494405b215955f50720b9caf307c16eff0bcadda
replace (void) casts with [[maybe_unused]]
source/base/function_lib.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.