Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make an index for the docs/ #662

Merged
merged 1 commit into from
Mar 15, 2019
Merged

Make an index for the docs/ #662

merged 1 commit into from
Mar 15, 2019

Conversation

neongreen
Copy link
Contributor

No description provided.

@@ -1,4 +1,4 @@
# Dependencies
# Dependencies {#DevDeps}
Copy link
Contributor

@ChrisPenner ChrisPenner Mar 15, 2019

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are these tags actually linked up in some fashion or are they just there for greppin' ?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You can use them to link to subsections in Markdown, but mostly they are just for grepping.

@neongreen neongreen merged commit a539494 into develop Mar 15, 2019
@neongreen neongreen deleted the docs-index branch March 15, 2019 13:47
@fisx fisx mentioned this pull request Mar 25, 2019
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.

3 participants