diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-07 18:20:46 +0200 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-07 18:20:46 +0200 |
| commit | 3e5f408e735ad492319e72a158f5815523fc7adf (patch) | |
| tree | 095925309a4cca4ae4697b5033009c5b932a632a /CONTRIBUTING.md | |
| parent | acdc303ed762696c1be266947a0c99bc4db4a9b9 (diff) | |
isabelle: add aarch64-linux support
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions