diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-05-20 17:57:55 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-05-22 06:18:18 +0200 |
commit | 00e5954a6e012e190cf1518c43525dbfaad5e832 (patch) | |
tree | 81d871dc6fe3daa94d3e272d86a1b5fd1ad81198 /doc | |
parent | 8d53413036308d0a253881fc26e09f89f067b9ec (diff) | |
download | ghdl-00e5954a6e012e190cf1518c43525dbfaad5e832.tar.gz ghdl-00e5954a6e012e190cf1518c43525dbfaad5e832.tar.bz2 ghdl-00e5954a6e012e190cf1518c43525dbfaad5e832.zip |
ci(msys2): explicitly exiting is not required anymore
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions