DEL suppression des profilings...

[euphorik.git] / doc / profiling / profiling.txt

diff --git a/doc/profiling/profiling.txt b/doc/profiling/profiling.txt
deleted file mode 100644 (file)
index 02a18a8..0000000
--- a/doc/profiling/profiling.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-== Profiling Euphorik ==\r
-Ce fichier décrit les différents profiling réalisés.\r
-\r
-== 2008-04-15 ==\r
-Changement de page.
\ No newline at end of file