diff options
author | Arcturus <44707562+arcturus140@users.noreply.github.com> | 2019-10-23 17:41:17 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-10-23 18:41:17 +0200 |
commit | 77ac1a37db7ebe298f37c988ad1ebb3624dff219 (patch) | |
tree | 78a10fce51b950b679122a03350fc30428a83a89 /libraries/vendors/shared.sh | |
parent | ad7f605c04bfe12f579cdda08d15bc8a3a62afd8 (diff) | |
download | ghdl-77ac1a37db7ebe298f37c988ad1ebb3624dff219.tar.gz ghdl-77ac1a37db7ebe298f37c988ad1ebb3624dff219.tar.bz2 ghdl-77ac1a37db7ebe298f37c988ad1ebb3624dff219.zip |
change file permissions from read write to executable (#993)
Diffstat (limited to 'libraries/vendors/shared.sh')
-rwxr-xr-x[-rw-r--r--] | libraries/vendors/shared.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/libraries/vendors/shared.sh b/libraries/vendors/shared.sh index e1d7f4391..e1d7f4391 100644..100755 --- a/libraries/vendors/shared.sh +++ b/libraries/vendors/shared.sh |