]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #210 from gfcas/update_prefix_option
authorUwe Köcher <mail@uwe.koecher.cc>
Tue, 29 Jun 2021 09:08:54 +0000 (11:08 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Jun 2021 09:08:54 +0000 (11:08 +0200)
commit619c70d1a96801044e532de7cd1473d46a51dce0
tree233f4f431b00f5d2a3f17d766eea17389c4991ee
parentc8304a57e8dbfd314aa4bfb106cfab53de3d9ee1
parent1b2d1c32ce63cb71fb1867cd02fd1f656ca897ec
Merge pull request #210 from gfcas/update_prefix_option

Update prefix option handling
candi.sh

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.