diff --git a/documentation.txt b/documentation.txt deleted file mode 100644 index cb11e54806d5e952a703f332ddf4f6bc02049b0c..0000000000000000000000000000000000000000 --- a/documentation.txt +++ /dev/null @@ -1 +0,0 @@ -informations sur le git