From c5aebf6f2e080c101b9a8125677f463b785ba2ac Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Thu, 29 Mar 2018 13:38:46 -0700 Subject: [PATCH] README: minor updates --- readme.md => README.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) rename readme.md => README.md (97%) diff --git a/readme.md b/README.md similarity index 97% rename from readme.md rename to README.md index fadcd302f..be02c72f6 100644 --- a/readme.md +++ b/README.md @@ -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 . 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)