From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 17 Oct 2013 18:03:25 +0000 (-0400)
Subject: minor fix to last commit (gitignore)
X-Git-Tag: cvc5-1.0.0~7275^2~11
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f4925e3d366bf58437025e0a5b238468e6514f8;p=cvc5.git

minor fix to last commit (gitignore)
---

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