diff options
| author | davidovski <david@davidovski.xyz> | 2022-01-31 23:13:11 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-01-31 23:13:11 +0000 |
| commit | 446bfc2044de1e7049e09d288db0e3decf44a12e (patch) | |
| tree | 3f3e41f9ed5880923c9e6b3c2454d71365037fd9 /repo/system/mpfr.xibuild | |
| parent | e7bb4a20f0d62edcf6f2dadd514a5e4d70185847 (diff) | |
changed configure for flex
Diffstat (limited to 'repo/system/mpfr.xibuild')
0 files changed, 0 insertions, 0 deletions