Refine .gitignore.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 12 Feb 2018 11:25:38 +0000 (12:25 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 12 Feb 2018 11:25:38 +0000 (12:25 +0100)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
.gitignore

index 435d966fc101e2e25cf7acda08af7a3f35a8fccd..bd64e52c59cc149781611ed7d4adbddc398721c0 100644 (file)
@@ -1,3 +1,6 @@
+philosophe/philosophe
+prodcons/prodcons
+
 *.static
 *.dynamic
 # for cygwin