]> https://gitweb.dealii.org/ - dealii.git/commit
fix: update ninja build resource 15378/head
authorEmmanuel Ferdman <emmanuelferdman@gmail.com>
Sun, 18 Jun 2023 09:20:56 +0000 (12:20 +0300)
committeremmanuel-ferdman <emmanuelferdman@gmail.com>
Mon, 19 Jun 2023 07:36:47 +0000 (10:36 +0300)
commita996eecc18dbc6d0cc2e4d2795d5bbddf9f5a3fe
treeeb9c0cf6d722ff2c6984f65ac5c833c3506d8ed2
parent7fc89dbaef2608d40caa46030e081ec6b12ae921
fix: update ninja build resource
doc/users/cmake_dealii.html

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.