summaryrefslogtreecommitdiff
path: root/src/mini-gmp.c
Commit message (Expand)AuthorAgeFilesLines
* Update from GMPPaul Eggert2019-04-281-226/+333
* Update more copyright yearsPaul Eggert2018-12-311-1/+1
* Add configury for GMP libraryTom Tromey2018-07-121-0/+4452