diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 11:23:01 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 11:23:14 -0500 |
commit | 5569aec29d73dcba445dcbebab7e49f93148a529 (patch) | |
tree | 3ef2a2420500e58998348ecbdb07ae1ca75e521c /NEWS | |
parent | 86b54ede8a2898a6c51fddd4bb32f8b4b87b5da6 (diff) |
Some versioning in advance of the 1.3 release.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,4 +57,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> Wed, 03 Apr 2013 13:06:35 -0400 +-- Morgan Deters <mdeters@cs.nyu.edu> Wed, 27 Nov 2013 11:20:58 -0500 |