Skip to content

Comments

Doc: Updated spelling and formatting of path page#2696

Merged
pvojtechovsky merged 2 commits intoINRIA:masterfrom
raymogg:master
Oct 20, 2018
Merged

Doc: Updated spelling and formatting of path page#2696
pvojtechovsky merged 2 commits intoINRIA:masterfrom
raymogg:master

Conversation

@raymogg
Copy link
Contributor

@raymogg raymogg commented Oct 19, 2018

Fixed some simple spelling and updated the markdown formatting to work correctly in the html page and in markdown.

@zielint0
Copy link
Contributor

Now we have two typo cleaners.

doc/path.md Outdated
in your project according to the rest of your path request.
Warning: The ordering of instructions is important. Ordering instructions differently can have a
vastly different meaning, as can be seen in the below examples. The first code snippet takes all
toto elements in the project. The second snippet takes the first element named "toto" at the root of your project and after,
Copy link
Contributor

@zielint0 zielint0 Oct 19, 2018

Choose a reason for hiding this comment

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

toto elements -> "toto" elements

@pvojtechovsky pvojtechovsky merged commit 32f3b2b into INRIA:master Oct 20, 2018
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.

4 participants