]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1719 from tjhei/fix_ctest_makeopts
authorMatthias Maier <tamiko@43-1.org>
Mon, 5 Oct 2015 19:56:41 +0000 (14:56 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 5 Oct 2015 19:56:41 +0000 (14:56 -0500)
commit055da7123ea28f85b9dc00513b9dff4481490092
tree19b478cec2acf464772598d0f9317f8d69ffb36e
parent6fda5b49421ad8713335f59877e811db698800f7
parentb8ec4e3fa8060a1a4edcb15d8d7eb98c27136945
Merge pull request #1719 from tjhei/fix_ctest_makeopts

fix ctest makeopts

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.