diff options
| -rw-r--r-- | readme | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -108,7 +108,3 @@ This system is maintained by Alan Mishchenko <alanmi@eecs.berkeley.edu>. Conside using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz This file was last modified on Oct 6, 2012 - - - - |