diff options
author | wmat <wmat@riscv.org> | 2024-05-29 12:50:55 -0400 |
---|---|---|
committer | wmat <wmat@riscv.org> | 2024-05-29 12:50:55 -0400 |
commit | b977e5159ce41eb2c360118483bf357c7a640654 (patch) | |
tree | ee197ac66f550319f5e43c5c0680412e261b4d3e /.github/workflows | |
parent | 532077b486e966f3e2f513ac7c26ce8538512b46 (diff) | |
download | riscv-isa-manual-1437-update-generated-filenames-to-be-more-desciptive.zip riscv-isa-manual-1437-update-generated-filenames-to-be-more-desciptive.tar.gz riscv-isa-manual-1437-update-generated-filenames-to-be-more-desciptive.tar.bz2 |
Change output filenames to riscv-privileged.* and riscv-unprivileged.*
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions