]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #353 from tamiko/dealii-8.2
authorMatthias Maier <tamiko@kyomu.43-1.org>
Wed, 17 Dec 2014 18:01:44 +0000 (19:01 +0100)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Wed, 17 Dec 2014 18:01:44 +0000 (19:01 +0100)
commit1409ce99efb5465d4f9e16c6e39b3292ca161dbf
tree37a9b24414e22f41927a898a83cc84215a26f12a
parentb7d2afd5faa614299868df9caaa0200b4cbf5b21
parent24612fa9e52ba155036b74de13e69e35465f7565
Merge pull request #353 from tamiko/dealii-8.2

Cherry-pick commits to the release branch

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.