projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f948414)
Dummy commit.
authorClark Barrett <barrett@cs.nyu.edu>
Thu, 9 Jun 2016 18:04:41 +0000 (11:04 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Thu, 9 Jun 2016 18:04:41 +0000 (11:04 -0700)
NEWS patch | blob | history

diff --git a/NEWS b/NEWS
index 89ea1c2650cac0274211ed9f7ffa103d1f00e9af..91732d9229afe32a533f6d7cda8eac035263314c 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-This file contains a summary of important user-visible changes.
+This file contains a summary of important user-visible changes. 
 
 Changes since 1.4
 =================