]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6279 from tjhei/file_permissions
authorDenis Davydov <davydden@gmail.com>
Fri, 20 Apr 2018 18:30:28 +0000 (20:30 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Apr 2018 18:30:28 +0000 (20:30 +0200)
commit7d6912af87d1536a4ed13c207af8b14434c0c66d
treeb83d0cce7ab7992e3f7a7c75bf7175aa07d591b4
parent395cda295eb0b122d38471f2e2dafed1e40ec4d7
parent514deebcf416674120ff98b0c285cf5323dcc534
Merge pull request #6279 from tjhei/file_permissions

fix a file permission

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.