summaryrefslogtreecommitdiff
path: root/src/add_ui.c
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-23 10:15:10 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-23 10:15:10 +0000
commit140fa08a162cb62aee9f63d325d78f77b3803aba (patch)
treec59f0e06b725e4fb62091f9f4dd3129cad4e7099 /src/add_ui.c
parent7733b3e1a28763816d3df3d4c763a72b5951b0f4 (diff)
downloadmpfr-140fa08a162cb62aee9f63d325d78f77b3803aba.tar.gz
Merged changesets r12046-12048 from the trunk (bug fix and test).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12049 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/add_ui.c')
0 files changed, 0 insertions, 0 deletions