diff options
Diffstat (limited to 'base/mpfr')
| -rw-r--r-- | base/mpfr/.footprint.x86_64 (renamed from base/mpfr/.footprint) | 0 | ||||
| -rw-r--r-- | base/mpfr/.md5sum.x86_64 (renamed from base/mpfr/.md5sum) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/base/mpfr/.footprint b/base/mpfr/.footprint.x86_64 index 1fef45aa4..1fef45aa4 100644 --- a/base/mpfr/.footprint +++ b/base/mpfr/.footprint.x86_64 diff --git a/base/mpfr/.md5sum b/base/mpfr/.md5sum.x86_64 index 923b30f68..923b30f68 100644 --- a/base/mpfr/.md5sum +++ b/base/mpfr/.md5sum.x86_64 |