From ed0f44f8411788a644506a2c1a872ab47fef13a1 Mon Sep 17 00:00:00 2001
From: Evghenii <egaburov@dds.nl>
Date: Fri, 21 Feb 2014 14:26:07 +0100
Subject: [PATCH] added .gitingore for ptxtools

---
 ptxtools/.gitignore | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 ptxtools/.gitignore

diff --git a/ptxtools/.gitignore b/ptxtools/.gitignore
new file mode 100644
index 00000000..428bf32d
--- /dev/null
+++ b/ptxtools/.gitignore
@@ -0,0 +1,6 @@
+*.hh
+*.cc
+*.o
+ptxcc
+ptxgen
+ptxgrammar.output