From f7a6ea5bf658115849fcc5b8a06a3f8c5a629656 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 14 Sep 2012 10:33:53 -0700
Subject: [PATCH] .gitignore: ignore .dot graph files

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 2ac6f53..dafb8c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.swo
 *.so
 *~
+*.dot
 
 # files in this directory
 /tags
-- 
2.34.1