projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dea679c)
Whitespace difference
authorClark Barrett <clarkbarrett@google.com>
Thu, 23 Apr 2015 17:26:11 +0000 (10:26 -0700)
committerClark Barrett <clarkbarrett@google.com>
Thu, 23 Apr 2015 17:26:11 +0000 (10:26 -0700)
.cproject patch | blob | history

diff --git a/.cproject b/.cproject
index fdbe0b29572680fc4d0a9a4ec66be265b6b4a5d8..1e2de5d74a984a90f1b5af2fef9875f2465244e1 100644 (file)
--- a/.cproject
+++ b/.cproject
@@ -362,3 +362,4 @@
                </buildTargets>
        </storageModule>
 </cproject>
+