diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-09 11:04:41 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-09 11:04:41 -0700 |
commit | 3fa3977d6644962f908bb0d386a64f1743708314 (patch) | |
tree | bdd5b04f5cd3018e5f571a6c0c2886cfbd9d6a68 | |
parent | f948414b8b9979f3e680abdedf8e3e6fbbbdd226 (diff) |
Dummy commit.
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ================= |