• Vincent Lefevre's avatar
    mpfrlint: update for git. · 52138701
    Vincent Lefevre authored
    This is used to check that the doc/mpfr.texi UPDATED-MONTH value is
    up-to-date by comparing it with the date of the latest commit.
    52138701
mpfrlint 21.7 KB