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)
Remove executable flag from files


Trivial merge