Skip to content

Rename README.jl to README.md#2

Open
dpsanders wants to merge 1 commit into
mbauman:mainfrom
dpsanders:patch-1
Open

Rename README.jl to README.md#2
dpsanders wants to merge 1 commit into
mbauman:mainfrom
dpsanders:patch-1

Conversation

@dpsanders
Copy link
Copy Markdown

@dpsanders dpsanders commented Jul 22, 2019

The README needs to be a Markdown file so that it's rendered correctly by GitHub.

@asinghvi17
Copy link
Copy Markdown

asinghvi17 commented Jul 23, 2019

It would have to be processed by Literate first, no? Otherwise everything will be a header.

@dpsanders
Copy link
Copy Markdown
Author

Ah oops, you're right.

Base automatically changed from master to main March 26, 2021 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants