• Paul Eggert's avatar
    Update from GMP · 9469d58e
    Paul Eggert authored
    * admin/update-copyright (updatable_files):
    Don’t update copyright year on files copied from GMP, so that
    they’re identical to upstream.
    * src/mini-gmp.c, src/mini-gmp.h: Copy from GMP development
    versions as of 2019-01-01 20:15:39 UTC.
    9469d58e
update-copyright 2.41 KB