From e5b81f31dd4d66d6a6c76555282d01a7178bd161 Mon Sep 17 00:00:00 2001
From: Mansard <nmansard@laas.fr>
Date: Wed, 12 Nov 2014 19:23:02 +0100
Subject: [PATCH] IVIGIT todo.

---
 todo.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 todo.txt

diff --git a/todo.txt b/todo.txt
new file mode 100644
index 000000000..b42143276
--- /dev/null
+++ b/todo.txt
@@ -0,0 +1 @@
+* Check commit 13f8e6f (conversion from long to double)
-- 
GitLab