diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-04-28 10:43:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-28 10:43:48 -0700 |
| commit | 5ec4b57ba3f79db76c5544b3ee37b917f7f0b58e (patch) | |
| tree | 9d7dbdf20ed1a6be0212681b49a87055b946e1eb /AUTHORS | |
| parent | 967332f464f3e26d43f05bb9c68a0be788337ef6 (diff) | |
contrib/get-gmp: Rename and update install instructions with a warning. (#4407)
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions