summaryrefslogtreecommitdiff
path: root/tools/coverage
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-11 17:02:05 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-11 17:02:05 +0000
commitc17961c02b2897ccb5346e3cc4a9b4a3e12197fb (patch)
tree5e7748752a1c7f4f63b258fdc16f20b082a939a1 /tools/coverage
parentb29bec14c7145e6aa072cd4d2f570d9f834a9f83 (diff)
downloadmpfr-c17961c02b2897ccb5346e3cc4a9b4a3e12197fb.tar.gz
get rid of DEBUG macro (but keep corresponding commands in comment to help
understanding of the code and debugging) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11955 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/coverage')
0 files changed, 0 insertions, 0 deletions