Merge pull request #467 from tobiasd/20171207-execs
authorHypolite Petovan <mrpetovan@gmail.com>
Thu, 7 Dec 2017 14:10:50 +0000 (09:10 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Dec 2017 14:10:50 +0000 (09:10 -0500)
commitbe1342fe5dee55f30f4c83d2da5cdc4f5bc46b16
treedee850731b53733157f130f723c78464407e87e2
parentbb89947ab8ad3d9fb030e9de0b5bbd6f4a69b518
parentf8d9efe8c7e57976acae3b1416220a7947ff94fc
Merge pull request #467 from tobiasd/20171207-execs

some files were executable, now they are not