]> https://gitweb.dealii.org/ - candi.git/commitdiff
projects / candi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8a538cd a79e850)
Merge pull request #18 from tjhei/catch_and_fix_errs
authorDr.-Ing. Uwe Köcher <koecher@hsu-hamburg.de>
Sun, 4 Oct 2015 20:37:55 +0000 (22:37 +0200)
committerDr.-Ing. Uwe Köcher <koecher@hsu-hamburg.de>
Sun, 4 Oct 2015 20:37:55 +0000 (22:37 +0200)
fix bugs in candi.sh and fail if download fails
Cool thing. Thx for working this out.


Trivial merge
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.