From 610a6b7f60fcc4c1036645ec1be6394c386fc41f Mon Sep 17 00:00:00 2001 From: bramas <berenger.bramas@inria.fr> Date: Thu, 11 Sep 2014 14:29:49 +0200 Subject: [PATCH] Rename the todo file --- ToDO => TODO.txt | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ToDO => TODO.txt (100%) diff --git a/ToDO b/TODO.txt similarity index 100% rename from ToDO rename to TODO.txt -- GitLab