diff options
author | Torbjorn Granlund <tg@gmplib.org> | 2018-03-28 22:16:43 +0200 |
---|---|---|
committer | Torbjorn Granlund <tg@gmplib.org> | 2018-03-28 22:16:43 +0200 |
commit | b136ad81a7154740c637a0b57b8e9d3d66c103ed (patch) | |
tree | 228f19da8abd5df1dcdc919f8a93fb0b6de5109a /doc/gmp.texi | |
parent | c400bf78a13a69b7e55df2ed0dff0907b693dce1 (diff) | |
download | gmp-b136ad81a7154740c637a0b57b8e9d3d66c103ed.tar.gz |
(mips): Recognise "mipsisa64*".
Diffstat (limited to 'doc/gmp.texi')
0 files changed, 0 insertions, 0 deletions