summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2011-12-09 12:17:34 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2011-12-09 12:17:34 +0000
commit040057a98b7ebce200dac657106d8e1ebd4fcdd2 (patch)
tree37c493e7ecf3a906ba2955b41694f69e121e18e0
parent9d059b4c8b8f87e8ac5d748b79d1073120dc04ce (diff)
downloadmpfr-040057a98b7ebce200dac657106d8e1ebd4fcdd2.tar.gz
[TODO] trivial change (to test the commit logs)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7979 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--TODO2
1 files changed, 1 insertions, 1 deletions
diff --git a/TODO b/TODO
index 5b51ebbd9..f1b9076fc 100644
--- a/TODO
+++ b/TODO
@@ -31,7 +31,7 @@ Table of contents:
1. Documentation
##############################################################################
-- add a description of the algorithms used + proof of correctness
+- add a description of the algorithms used and a proof of correctness
##############################################################################
2. Installation