]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7453b79 5dc666b)
Merge pull request #118 from luca-heltai/fix_travis_ci
authorTimo Heister <timo.heister@gmail.com>
Mon, 25 Aug 2014 15:24:23 +0000 (11:24 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 25 Aug 2014 15:24:23 +0000 (11:24 -0400)
Removed all builds. Only indent test.

I implemented here Matthias' suggestion. Removing all unnecessary comments and lines from the Travis CI configuration scripts. This should also make it much faster, since we don't need to install anything anymore (except astyle). This is the one that closes #89.


Trivial merge
Mirror of the development repository for deal.II

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.