summaryrefslogtreecommitdiff
path: root/mpfrlint
Commit message (Expand)AuthorAgeFilesLines
* Copied mpfrlint and update-version scripts from the trunk,vlefevre2008-06-181-1/+21
* mpfrlint: incorrect use of mpfr_<flag>_p is also checked in .h files.vlefevre2008-01-011-2/+3
* Added mpfrlint script from the trunk and merged the feature-block branchvlefevre2007-12-261-0/+10