diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-06-07 20:07:22 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-06-17 07:43:22 +0200 |
| commit | e3ecb5fb3abea58e7cb30304c9b9df8646071624 (patch) | |
| tree | e27067e8c9feaee9b2d2960ecc11c7adc2c1b25c /src/grt/config | |
| parent | 81905a8c0bafb05ccf260a38f274bbf24ec7ecb3 (diff) | |
| download | ghdl-e3ecb5fb3abea58e7cb30304c9b9df8646071624.tar.gz ghdl-e3ecb5fb3abea58e7cb30304c9b9df8646071624.tar.bz2 ghdl-e3ecb5fb3abea58e7cb30304c9b9df8646071624.zip | |
ci(msys2): define deps in PKGBUILD, cleanup run.sh
Diffstat (limited to 'src/grt/config')
0 files changed, 0 insertions, 0 deletions