projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e9b4969)
Add gmon.out to .gitignore
authorKim Nguyễn <kn@lri.fr>
Thu, 25 Jul 2013 13:22:00 +0000 (15:22 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 25 Jul 2013 13:22:00 +0000 (15:22 +0200)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 8810ca0..9a69b9e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+gmon.out
 *.dep
 *.cm*
 *.o
Tree Automata TOOlkit