diff options
author | Baruch Sterin <baruchs@gmail.com> | 2018-03-29 13:38:46 -0700 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2018-03-29 13:38:46 -0700 |
commit | c5aebf6f2e080c101b9a8125677f463b785ba2ac (patch) | |
tree | a8426836d6d8b092f22b30420cff41c8f5fc34fe | |
parent | 2fd7ba52ba8ea984275d5a2b6aa8bc656746ab2b (diff) | |
download | abc-c5aebf6f2e080c101b9a8125677f463b785ba2ac.tar.gz abc-c5aebf6f2e080c101b9a8125677f463b785ba2ac.tar.bz2 abc-c5aebf6f2e080c101b9a8125677f463b785ba2ac.zip |
README: minor updates
-rw-r--r-- | README.md (renamed from readme.md) | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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) |