From 4abbcd0cf60e68d55b3e449c040376d84d11a98f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 17 Jun 2022 10:17:29 +0200
Subject: [PATCH] remove obsolete file

---
 doc/developer/TODO | 43 -------------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 doc/developer/TODO

diff --git a/doc/developer/TODO b/doc/developer/TODO
deleted file mode 100644
index 489e0e1eebf..00000000000
--- a/doc/developer/TODO
+++ /dev/null
@@ -1,43 +0,0 @@
-=========
-TODO-list
-=========
-
-Advance
-=======
-
-* Configure.in
-  o Principle: manque les --static ou --dynamic
-  o --external-plugin (Virgile, bts#203)
-
-* Command Line Options
-  o possibility of customisation through optional functor parameters
-
-* Types as first class values
-
-* Journalisation
-  [advanced plugin development]
-    o lien avec les exemples de chargement dynamique
-  [refman]
-    o spécification du module "Type" dans répertoire "lib": 
-      ajouté un lien vers Section "Journalisation" quand cette 
-      dernière sera écrite.
-
-* Documentation des sources:
-    o test d'intégrité du code wrt plugin dev guide
-
-* GUI:
-    o améliorer la doc: mieux expliquer comment utiliser les hooks pour coder 
-      les parties similaires à chaque greffon (panneau latéral, etc).
-    o GUI des greffons dynamiques
-
-Refman
-======
-
-* Figure des makefiles: 
-    o ajouter le fait que Makefile.dynamic est généré à partir de 
-      Makefile.dynamic.internal/external
-
-* Makefile.dynamic: ce qui lui est spécifique
-
-List of recommendations (?)
-=======================
-- 
GitLab