diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-02 14:45:28 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-02 14:45:28 -0400 |
commit | 23ad0f102f8c78fa1ae479af56e48de12a2bae55 (patch) | |
tree | 88741108c5bb86e4f11fb147aa7b81a6e8ff7a29 /NEWS | |
parent | 2700ec6ad1fd23dd4eca0e8855390930299c5d82 (diff) |
Minor.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -99,4 +99,4 @@ Changes since 1.0 "unsat") as well. Now, single -q silences messages and warnings, and double -qq silences all output (except on exception or signal). --- Morgan Deters <mdeters@cs.nyu.edu> Mon, 16 Jun 2014 22:23:12 -0400 +-- Morgan Deters <mdeters@cs.nyu.edu> Wed, 02 Jul 2014 14:45:05 -0400 |