search

PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
62 stars 13 forks source link

doc: remove README.org #6

Closed dongahn closed 7 years ago

dongahn commented 7 years ago

Delete the original README.org as we decided to edit README.md directly.

simoatze commented 7 years ago

@dongahn I think I would like to restore the README.org. The Table of Contents is generated by the org file, and it's nice to have it, I'll try to find a way to automatically generate the README.md so we can keep the .org.

dongahn commented 7 years ago

Yeah if there is a way to generate README.org, I am all for it.

From: Simone Atzeni notifications@github.com Sent: Saturday, January 28, 2017 9:34:27 AM To: PRUNERS/ARCHER Cc: Ahn, Dong H.; Mention Subject: Re: [PRUNERS/ARCHER] doc: remove README.org (#6)

@dongahnhttps://github.com/dongahn I think I would like to restore the README.org. The Table of Contents is generated by the org file, and it's nice to have it, I'll try to find a way to automatically generate the README.md so we can keep the .org.

- You are receiving this because you were mentioned. Reply to this email directly, view it on GitHubhttps://github.com/PRUNERS/ARCHER/pull/6#issuecomment-275861935, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AA0nq9Kc6ZNCj0NFbIp933hPIi2Z5ezWks5rW3wjgaJpZM4LwTuI.