X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=.gitignore;h=18fc99f48e43bae9e428403fdde52faf8cf931b7;hb=23ab6af8cd97e879765f6033d738b6112dc028aa;hp=ad86cec8e2f0a47ed55e49e11ca08d1c9c19738d;hpb=7fffbcc8e55a361a1098dc914c2460af69991760;p=TD_SE.git

diff --git a/.gitignore b/.gitignore
index ad86cec..18fc99f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 TD3/exo2/monexec/monexec
 fils/fils
 lecteursredacteurs/lecteursredacteurs
+lockf/lockf
 mem/mem
 peterson/peterson
 philosophe/philosophe