summaryrefslogtreecommitdiff
path: root/mpfrlint
Commit message (Expand)AuthorAgeFilesLines
* mpfrlint: check the LGPL license version.vlefevre2008-06-041-1/+12
* mpfrlint: check GFDL versions.vlefevre2008-06-041-0/+9
* mpfrlint: incorrect use of mpfr_<flag>_p is also checked in .h files.vlefevre2008-01-011-2/+3
* Merged the feature-block branch to the trunk:vlefevre2007-12-181-0/+3
* Added initial mpfrlint sh script to check possible problems invlefevre2007-11-271-0/+7