From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 17 Oct 2013 18:02:27 +0000 (-0400)
Subject: .gitignore personal configuration files
X-Git-Tag: cvc5-1.0.0~7275^2~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e1b1c92e0713d0cd2fa90e0ecb6c4fe95b028dc;p=cvc5.git

.gitignore personal configuration files
---

diff --git a/.gitignore b/.gitignore
index bb0f165f3..e233299a4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,5 @@ generated/
 config.reconfig
 *.swp
 /debug/
+personal.conf
+personal.mk