]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15122 from luca-heltai/fix-parameter-acceptor
authorLuca Heltai <luca.heltai@sissa.it>
Sat, 22 Apr 2023 12:56:14 +0000 (15:56 +0300)
committerGitHub <noreply@github.com>
Sat, 22 Apr 2023 12:56:14 +0000 (15:56 +0300)
commit68914d74489c28b2056a07402365bbb6a3745dc0
tree4d44f143d4edded0639b4fdb4467599730352339
parent741f0e2b86746cd760a97e16be4a3c73c46396dd
parent699abf966a7af1ea90e906d803678dcbd0696690
Merge pull request #15122 from luca-heltai/fix-parameter-acceptor

ParameterAcceptor now uses a set.

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.