]> https://gitweb.dealii.org/ - dealii.git/commit
indent and add [[maybe_unused]] to parameter list 17509/head
authorJerett Cherry <jerett97@gmail.com>
Tue, 13 Aug 2024 15:06:19 +0000 (09:06 -0600)
committerJerett Cherry <jerett97@gmail.com>
Tue, 13 Aug 2024 15:06:19 +0000 (09:06 -0600)
commita82d06ab23b36b2b4d13059c503ad93133a168c1
treebef0d14a68bbf14db0d7bd63c47ef0ad028442b0
parenta6dccb3305cf5f31c848b82b0b1c095a305eb994
indent and add [[maybe_unused]] to parameter list
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.