From f15ecffffd2fb4d5d440c98c6579d1e1446fb6f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Mon, 12 Sep 2016 15:39:01 +0200
Subject: [PATCH] move comments to TODO

---
 Number_types/{KNOWN_PROBLEMS_WITH_FLOATING_POINT => TODO} | 0
 Number_types/dont_submit                                  | 1 -
 2 files changed, 1 deletion(-)
 rename Number_types/{KNOWN_PROBLEMS_WITH_FLOATING_POINT => TODO} (100%)
 delete mode 100644 Number_types/dont_submit

diff --git a/Number_types/KNOWN_PROBLEMS_WITH_FLOATING_POINT b/Number_types/TODO
similarity index 100%
rename from Number_types/KNOWN_PROBLEMS_WITH_FLOATING_POINT
rename to Number_types/TODO
diff --git a/Number_types/dont_submit b/Number_types/dont_submit
deleted file mode 100644
index 1ead5fde9c6..00000000000
--- a/Number_types/dont_submit
+++ /dev/null
@@ -1 +0,0 @@
-KNOWN_PROBLEMS_WITH_FLOATING_POINT