]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12272 from luca-heltai/fix-ida
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 21 May 2021 19:58:10 +0000 (13:58 -0600)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 19:58:10 +0000 (13:58 -0600)
commite5caad00ca057b65743e2a886b90623dd63e29b9
treeb8402b9674b1feb56a55b6c404247d8ecf3d09e7
parentf17695ac29b77015c8665c37ab664cf072edcbce
parent0b157b0d0b680a258bc51ffafe8bc8c4df5038ee
Merge pull request #12272 from luca-heltai/fix-ida

Fixed naming in IDA.

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.