]> https://gitweb.dealii.org/ - dealii.git/commit
Update some uses of maybe unused 17532/head
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Wed, 14 Aug 2024 22:47:58 +0000 (16:47 -0600)
committerRene Gassmoeller <rene.gassmoeller@mailbox.org>
Thu, 15 Aug 2024 17:04:06 +0000 (11:04 -0600)
commit9dde101ac9a317ab489ca76daa2386afd30aa4c7
tree88c6a07544c343f7e2c643f8680d3878b8b763c1
parentcbb3f8eef42fea8d95f86752033586c973be6863
Update some uses of maybe unused
source/distributed/tria.cc
source/grid/tria.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.