diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-05-20 06:45:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-20 06:45:00 +0200 |
| commit | 0e39a575da602ee833996c6ac30adc7c9069622e (patch) | |
| tree | db57c920a4a9b6e52958d1ebb981006ceede5684 /doc/development | |
| parent | 42cbe9183ac8f2138ef827180baae4beaee2d3f1 (diff) | |
| download | ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.tar.gz ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.tar.bz2 ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.zip | |
rework 'version.tmp' (#1320)
* msys2: work around makepkg hanging at the end of build()
* ci: update actions/checkout to v2
* make: allow setting default description through GHDL_DESC
* ci: ensure clean git describe on MSYS2
Diffstat (limited to 'doc/development')
0 files changed, 0 insertions, 0 deletions