diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2023-01-22 13:55:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-22 13:55:49 +0100 |
commit | eb04c8bce70090163b656a69ff29e51cffd32425 (patch) | |
tree | 9f4c8bb659faa91581dd77ebfe930acc8f805380 /utils | |
parent | c6d207656de19d97b5edf5c2f9028412aa218571 (diff) | |
download | ocaml-eb04c8bce70090163b656a69ff29e51cffd32425.tar.gz |
Remove arm, i386 native-code backends (#11904)
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions