diff options
| author | davidovski <david@davidovski.xyz> | 2022-01-09 22:13:57 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-01-09 22:13:57 +0000 |
| commit | 899037c03eb7ce1fb06241ff05de6f9222cf8a7f (patch) | |
| tree | 11d079135965955f230b80c46cea29cf323a3a62 /repo/core/mpfr.xibuild | |
| parent | 116adb053faf2df8450a3339f1f976766a76b0a3 (diff) | |
made make use gz source tarball
Diffstat (limited to 'repo/core/mpfr.xibuild')
0 files changed, 0 insertions, 0 deletions