From d72f24a5e57c52b9eb529d3eb25583cd74613fd5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 17 Jul 2013 12:40:31 -0700
Subject: [PATCH] Add gtags files to .gitignore

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 .gitignore | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index d795461365..0c55b4fcf0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,8 @@
 *~
 .lean_trace
 a.out
-build
\ No newline at end of file
+build
+GPATH
+GRTAGS
+GSYMS
+GTAGS
\ No newline at end of file