search

smirarab / pasta

PASTA (Practical Alignment using SATe and Transitivity)
GNU General Public License v3.0
85 stars 26 forks source link

readme linux/mac instructions are swapped #46

Closed lauralwd closed 4 years ago

lauralwd commented 4 years ago

I noticed a swap for Linux and mac instructions on line 84 and 89 of the readme:

You can use 

  git clone https://github.com/smirarab/sate-tools-linux.git #for MAC

or

  git clone https://github.com/smirarab/sate-tools-mac.git. #for Linux

Or you can directly download these as zip files for

It's pretty obvious what to do, but still, I figured I would let you know.

justincbagley commented 4 years ago

I noticed the same thing and I pushed a commit to fix this the other day (and make some minor improvements to the README), but no response, not accepted yet.

smirarab commented 4 years ago

Justin, I do not see a pull request. Did you submit a pull request?

Laura, thanks for the report.

On Thu, Apr 2, 2020 at 11:40 AM Justin C. Bagley notifications@github.com wrote:

I noticed the same thing and I pushed a commit to fix this the other day (and make some minor improvements to the README), but no response, not accepted yet.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/smirarab/pasta/issues/46#issuecomment-608035349, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAGJXODJAHMQLTM7PVHEYTTRKTL2TANCNFSM4LAKJCWQ .

-- Siavash Mirarab

justincbagley commented 4 years ago

Hi Siavash, Sorry I thought I submitted the pull request. OK, fixed it, so you should now see this and other changes to the README from me on your side. Take care. ~J

smirarab commented 4 years ago

Thanks for fixing the README.

On Sun, Apr 5, 2020 at 8:06 PM Justin C. Bagley notifications@github.com wrote:

Hi Siavash, Sorry I thought I submitted the pull request. OK, fixed it, so you should now see this and other changes to the README from me on your side. Take care. ~J

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/smirarab/pasta/issues/46#issuecomment-609542206, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAGJXOCLMT64HGQ3APQ3VHTRLFBNBANCNFSM4LAKJCWQ .

-- Siavash Mirarab