Merge pull request #3127 from alexrp/arm32-on-arm64
[mono.git] / scripts / submodules /
drwxr-xr-x   ..
-rw-r--r-- 5471 versions.mk
-rwxr-xr-x 1456 versions.py