]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #236 from gfcas/ubuntu_platform
authorUwe Köcher <mail@uwe.koecher.cc>
Tue, 6 Jul 2021 17:09:43 +0000 (19:09 +0200)
committerGitHub <noreply@github.com>
Tue, 6 Jul 2021 17:09:43 +0000 (19:09 +0200)
commit6f8774b35a89d5e3dcf6a7ed15b438b08208629e
tree59d45d2702268efe89c3f1ef1c5392081317e416
parent360451d25ff797d0821604d2b37a381a7978d9a7
parent84ac1c560cac6f8e0aa157d969a24ad81febc9a8
Merge pull request #236 from gfcas/ubuntu_platform

Unify and update Ubuntu platform files

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.