chore: keep git.txt untracked

.gitignore

@@ -1 +1,2 @@
 stdlib/*.LST
+git.txt

git.txt

@@ -1,16 +0,0 @@
-
-Créer un nouveau dépôt en ligne de commande
-
-touch README.md
-git init
-git add README.md
-git commit -m "first commit"
-git remote add origin http://git.yojik.eu/eric/M2compiler-V3.git
-git push -u origin master
-
-Soumettre un dépôt existant par ligne de commande
-
-git remote add origin http://git.yojik.eu/eric/M2compiler-V3.git
-git push -u origin master
-
-