summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-11-30 15:30:30 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-11-30 15:30:30 +0000
commit7bc2d0cf8b2f770742e8bc70671f9725d8ee8f09 (patch)
tree3624caeaf6ac06fb22252646af242b6dcc52c5b0 /AUTHORS
parente54344f7c9524c25d5429f8743a45c6dc4bd48ff (diff)
downloadmpfr-7bc2d0cf8b2f770742e8bc70671f9725d8ee8f09.tar.gz
[NEWS] Mention "make check-gmp-symbols" (experimental).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11868 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions