aboutsummaryrefslogtreecommitdiffstats
path: root/src/mini-gmp.h (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update mini-gmpPaul Eggert2020-01-261-2/+6
* Update from GMPPaul Eggert2019-04-281-1/+1
* Update more copyright yearsPaul Eggert2018-12-311-1/+1
* Add configury for GMP libraryTom Tromey2018-07-121-0/+300