projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6e1b1c9)
minor fix to last commit (gitignore)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 17 Oct 2013 18:03:25 +0000 (14:03 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 17 Oct 2013 18:03:25 +0000 (14:03 -0400)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index e233299a4b90f43da46a790b4a1f2b3a666af312..ea21c49bc797e6f84fa50a3d21d008f936a046d0 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -27,5 +27,5 @@ generated/
 config.reconfig
 *.swp
 /debug/
-personal.conf
-personal.mk
+/personal.conf
+/personal.mk