]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4983 from tjhei/fix_permissions
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 28 Aug 2017 22:35:32 +0000 (16:35 -0600)
committerGitHub <noreply@github.com>
Mon, 28 Aug 2017 22:35:32 +0000 (16:35 -0600)
commitb1e8e6051e1af65261ecf09bad23aad50fa5fc39
tree5d306f5322f92496a77900d6cf19dae48821e7ca
parentfe15dfd2a7d72961f4f14ff448d1ef63d78a0548
parentbbf6377a3e57b3055a61670fa23f73201edcfc22
Merge pull request #4983 from tjhei/fix_permissions

remove executable permission on random 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.