summaryrefslogtreecommitdiff
path: root/src/version.c
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-31 15:59:16 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-31 15:59:16 +0000
commitc55c2846384535bca07d5d6279f917227698ef38 (patch)
tree4913ece060cf84e8cd1480da6f0c460663ef5fa9 /src/version.c
parent9571c470e4df07fcc7cd22e32c4c4a50b680ccd6 (diff)
downloadmpfr-c55c2846384535bca07d5d6279f917227698ef38.tar.gz
[src/Makefile.am] In check-exported-symbols, replaced grep by $(GREP)
as usual and like in check-gmp-symbols. (merged changeset r13429 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13431 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/version.c')
0 files changed, 0 insertions, 0 deletions