projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ba1df73
)
rm ChangeLog (use NEWS)
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 3 Dec 2013 17:36:46 +0000
(12:36 -0500)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 3 Dec 2013 17:36:46 +0000
(12:36 -0500)
ChangeLog
[deleted file]
patch
|
blob
|
history
diff --git
a/ChangeLog
b/ChangeLog
deleted file mode 100644
(file)
index
630e398
..0000000
--- a/
ChangeLog
+++ /dev/null
@@
-1,3
+0,0 @@
-2009-11-02 Morgan Deters <mdeters@morgandeters.com>
-
- * Active prototyping ongoing