summaryrefslogtreecommitdiff
path: root/mpfrlint
Commit message (Expand)AuthorAgeFilesLines
* 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