summaryrefslogtreecommitdiff
path: root/src/mini-gmp.h
Commit message (Expand)AuthorAgeFilesLines
* 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