]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16429 from bangerth/permissions
authorMarc Fehling <mafehling.git@gmail.com>
Sun, 7 Jan 2024 21:26:41 +0000 (14:26 -0700)
committerGitHub <noreply@github.com>
Sun, 7 Jan 2024 21:26:41 +0000 (14:26 -0700)
commit84d259fd7f0d10a8ea9906cb7a01e7b7e11f118c
treeb8bae6b265e94ecc303dced4352cb2c040d8571a
parent980a80d4dbeabd65e3e813389eedbef0d10bf3b2
parentd38f7312fdba1316e86f3b573fd2b3c0d1fdf39d
Merge pull request #16429 from bangerth/permissions

Fix the indent script.

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.