diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-18 13:17:45 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-18 13:17:58 +0100 |
commit | a1647d6917f52ac28f51aebaa407c03fd9a4b386 (patch) | |
tree | dde74b6a9d6105f927481bb1850e7fe1a9893ec4 /doc/ghw | |
parent | e939e344060c7776c87de8f42b9ba3ac59372e58 (diff) | |
download | ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.tar.gz ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.tar.bz2 ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.zip |
ci/doc: use option 'skip-deploy' of Action buildthedocs/btd
Diffstat (limited to 'doc/ghw')
0 files changed, 0 insertions, 0 deletions