diff options
Diffstat (limited to 'scripts/build')
-rw-r--r-- | scripts/build/companion_libs/gmp.sh (renamed from scripts/build/gmp.sh) | 0 | ||||
-rw-r--r-- | scripts/build/companion_libs/mpfr.sh (renamed from scripts/build/mpfr.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/scripts/build/gmp.sh b/scripts/build/companion_libs/gmp.sh index 51134da..51134da 100644 --- a/scripts/build/gmp.sh +++ b/scripts/build/companion_libs/gmp.sh diff --git a/scripts/build/mpfr.sh b/scripts/build/companion_libs/mpfr.sh index e302ff7..e302ff7 100644 --- a/scripts/build/mpfr.sh +++ b/scripts/build/companion_libs/mpfr.sh |