Merge pull request #1706 from YosysHQ/mmicko/remove_executable_flag
authorMiodrag Milanović <mmicko@gmail.com>
Sat, 15 Feb 2020 10:15:35 +0000 (11:15 +0100)
committerGitHub <noreply@github.com>
Sat, 15 Feb 2020 10:15:35 +0000 (11:15 +0100)
commit2baa6d799ee3ccc00e7e2dab766e3edce333e0fd
treee16349b29b74d76030673a5dffe93a2bb3b0fd45
parenta7df492243dbf186037b577657a65e357e8e0fec
parentcd5c1777393acf2ebf66f6e6b0aa600f1efbd408
Merge pull request #1706 from YosysHQ/mmicko/remove_executable_flag

Remove executable flag from files