summaryrefslogtreecommitdiff
path: root/lib/mini-gmp-gnulib.c
Commit message (Expand)AuthorAgeFilesLines
* Put "LGPLv3+ or GPLv2+" notices in source files where appropriate.Bruno Haible2021-06-041-10/+18
* maint: run 'make update-copyright'Paul Eggert2020-12-311-1/+1
* libgmp: Avoid warning when --without-libgmp is used.Bruno Haible2020-07-121-2/+4
* libgmp: new modulePaul Eggert2020-07-061-0/+37