]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Make scripts executable. 18093/head
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 5 Feb 2025 13:39:04 +0000 (14:39 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Wed, 5 Feb 2025 13:39:04 +0000 (14:39 +0100)
contrib/utilities/detect_include_cycles.py [changed mode: 0644->0755]
contrib/utilities/double_word_typos.py [changed mode: 0644->0755]
contrib/utilities/indent.py [changed mode: 0644->0755]
contrib/utilities/indent_common.sh [changed mode: 0644->0755]
contrib/utilities/parse_ctest_output.py [changed mode: 0644->0755]

old mode 100644 (file)
new mode 100755 (executable)
old mode 100644 (file)
new mode 100755 (executable)
old mode 100644 (file)
new mode 100755 (executable)
old mode 100644 (file)
new mode 100755 (executable)
old mode 100644 (file)
new mode 100755 (executable)

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.