diff options
author | Jordan Carlin <jordanmcarlin@gmail.com> | 2024-05-20 07:26:30 -0700 |
---|---|---|
committer | Alasdair Armstrong <alasdair.armstrong@googlemail.com> | 2024-05-20 22:54:52 +0100 |
commit | c2b5fb728cc7193a728222d12a5cbdc396116158 (patch) | |
tree | 044c2d9ad3128ba9a90659eb7633ac86149c7a5e /coq-sail-riscv.opam | |
parent | 85a065e346ba9ac9b66faff4fbba08af0d9a2600 (diff) | |
download | sail-riscv-c2b5fb728cc7193a728222d12a5cbdc396116158.zip sail-riscv-c2b5fb728cc7193a728222d12a5cbdc396116158.tar.gz sail-riscv-c2b5fb728cc7193a728222d12a5cbdc396116158.tar.bz2 |
Fix mext whitespace
Diffstat (limited to 'coq-sail-riscv.opam')
0 files changed, 0 insertions, 0 deletions