]> https://gitweb.dealii.org/ - candi.git/commit
Issue #4 : tests if curl is available on the system; if not, wget is used in any...
authorUwe Köcher <koecher@hsu-hamburg.de>
Thu, 10 Sep 2015 08:54:16 +0000 (10:54 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Thu, 10 Sep 2015 08:54:16 +0000 (10:54 +0200)
commit143fbdb2400e366388776b6590d6785d80042741
tree7e49ead68b0d4b1e1fe6ce6dc8ad14bbc92e21ec
parentd2cfc2c9640f8175faf828be475d1462725cba22
Issue #4 : tests if curl is available on the system; if not, wget is used in any case
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.