summaryrefslogtreecommitdiff
path: root/utils
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2023-01-22 13:55:49 +0100
committerGitHub <noreply@github.com>2023-01-22 13:55:49 +0100
commiteb04c8bce70090163b656a69ff29e51cffd32425 (patch)
tree9f4c8bb659faa91581dd77ebfe930acc8f805380 /utils
parentc6d207656de19d97b5edf5c2f9028412aa218571 (diff)
downloadocaml-eb04c8bce70090163b656a69ff29e51cffd32425.tar.gz
Remove arm, i386 native-code backends (#11904)
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions