summaryrefslogtreecommitdiff
path: root/lib/mini-gmp.h
Commit message (Expand)AuthorAgeFilesLines
* Update from Gnulib by running admin/merge-gnulibPaul Eggert2022-07-061-1/+1
* Update from Gnulib by running admin/merge-gnulibPaul Eggert2022-02-231-1/+1
* Update from GnulibPaul Eggert2021-10-041-4/+5
* Update Gnulib.Paul Eggert2020-12-251-2/+3
* Use Gnulib libgmp modulePaul Eggert2020-07-091-0/+308