Updating readme.

c7e8ad24 · Alan Mishchenko · 89291329 · c7e8ad24
Commit c7e8ad24 authored Oct 06, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

readme
+0 -4

No files found.
--- a/readme
+++ b/readme
@@ -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
-
-
-
-