]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #237 from gfcas/guess_platform
authorTimo Heister <timo.heister@gmail.com>
Wed, 7 Jul 2021 15:57:05 +0000 (11:57 -0400)
committerGitHub <noreply@github.com>
Wed, 7 Jul 2021 15:57:05 +0000 (11:57 -0400)
commit4e1bb596b25a685344fa68965e140d9ec2ec8790
tree806d4fbfdff30f1b9789b880dffc460e64349c41
parent4151a8c1ae8eb7141e4ea3d466c78f2cc3ecfe4a
parentf915eb77adc5631eee5500292e3fef906e3bc0b5
Merge pull request #237 from gfcas/guess_platform

Rename some variables in guess_platform()

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.