projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7284a22)
.gitignore personal configuration files
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 17 Oct 2013 18:02:27 +0000 (14:02 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 17 Oct 2013 18:02:27 +0000 (14:02 -0400)
.gitignore patch | blob | history

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