diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2020-08-25 16:20:45 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2020-08-25 16:20:45 +0200 |
commit | 02c26398b1f9e6d29dea4a2452b7978a65b6200c (patch) | |
tree | d97411ba4fb35cbafed1862813504cd9defce26c /docs/customize-toolchain.txt | |
parent | f99843b3350758edc0dfd89565244e0a6efdca99 (diff) |
mpfr: remove patch no longer needed
Diffstat (limited to 'docs/customize-toolchain.txt')
0 files changed, 0 insertions, 0 deletions