]> https://gitweb.dealii.org/ - candi.git/commit
projects / candi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2cfc2c) | patch
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
tree7e49ead68b0d4b1e1fe6ce6dc8ad14bbc92e21ectree | snapshot
parentd2cfc2c9640f8175faf828be475d1462725cba22commit | diff
Issue #4 : tests if curl is available on the system; if not, wget is used in any case
candi.sh diff | blob | history
Mirror of the development repository for candi

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.