summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-31 22:41:46 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-31 22:41:46 +0000
commitba1e4ab9777423031355c6e4ed53e2f3795a1dc5 (patch)
tree693ba829ec01c74438ba53f71f4238a247e41cce /tools/mpfrlint
parent86c9a2bcf990db6c713fcbadf2663ac138e5093c (diff)
downloadmpfr-ba1e4ab9777423031355c6e4ed53e2f3795a1dc5.tar.gz
Updated version to 4.0.3-dev.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13436 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
0 files changed, 0 insertions, 0 deletions