projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cba2938)
Add .gitignore and ignore result of compilation.
authorKim Nguyễn <kn@lri.fr>
Thu, 28 Jun 2012 15:28:28 +0000 (17:28 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 28 Jun 2012 15:28:28 +0000 (17:28 +0200)
.gitignore [new file with mode: 0644] patch | blob

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..60db691
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+_build
+*.native
+*.byte
Tree Automata TOOlkit