Commit c5aebf6f by Baruch Sterin

README: minor updates

parent 2fd7ba52
......@@ -70,7 +70,7 @@ version of ABC available from https://github.com/berkeley-abc/abc
If the bug still persists, please provide the following information:
1. ABC version (when it was downloaded from BitBucket)
1. ABC version (when it was downloaded from GitHub)
1. Linux distribution and version (32-bit or 64-bit)
1. The exact command-line and error message when trying to run the tool
1. The output of the `ldd` command run on the exeutable (e.g. `ldd abc`).
......@@ -109,6 +109,4 @@ https://www.dropbox.com/s/qrl9svlf0ylxy8p/ABC_GettingStarted.pdf
Unfortunately, there is no comprehensive regression test. Good luck!
This system is maintained by Alan Mishchenko <alanmi@berkeley.edu>. Consider also
using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz
This file was last modified on June 18, 2014
using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz (or https://github.com/berkeley-abc/abc-zz)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment