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

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