diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-16 01:17:29 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-16 11:19:26 +0100 |
commit | c0f0539c991309d6acd7eb7b9bb6a9fb839fd3de (patch) | |
tree | 7f63e7ccce7eed49732e09b10f00fc4c43072303 /libraries/vendors/config.sh | |
parent | bc11df10c58402e60df792bc2d495e6d6a62a479 (diff) | |
download | ghdl-c0f0539c991309d6acd7eb7b9bb6a9fb839fd3de.tar.gz ghdl-c0f0539c991309d6acd7eb7b9bb6a9fb839fd3de.tar.bz2 ghdl-c0f0539c991309d6acd7eb7b9bb6a9fb839fd3de.zip |
Another round of improvements.
Diffstat (limited to 'libraries/vendors/config.sh')
-rwxr-xr-x | libraries/vendors/config.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libraries/vendors/config.sh b/libraries/vendors/config.sh index 035ce500f..a95f6021e 100755 --- a/libraries/vendors/config.sh +++ b/libraries/vendors/config.sh @@ -1,4 +1,3 @@ -#! /bin/bash # ============================================================================== # Authors: # Patrick Lehmann |