-
Niels Möller authored
Was broken by rename of configure variable GMP_NUMB_BITS --> NUMB_BITS.
b305e440
To find the state of this project's repository at the time of any of these versions, check out the tags.
Was broken by rename of configure variable GMP_NUMB_BITS --> NUMB_BITS.