Skip to content

Some "dialect" tweaks#2411

Merged
nojb merged 3 commits intoocaml:masterfrom
nojb:move_dialects_doc
Jul 15, 2019
Merged

Some "dialect" tweaks#2411
nojb merged 3 commits intoocaml:masterfrom
nojb:move_dialects_doc

Conversation

@nojb
Copy link
Copy Markdown
Collaborator

@nojb nojb commented Jul 14, 2019

No description provided.

Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
@nojb nojb requested review from emillon and rgrinberg as code owners July 14, 2019 21:56
Copy link
Copy Markdown

@ghost ghost left a comment

Choose a reason for hiding this comment

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

Having dialects under "Advanced topics" seems better to me as well

@nojb nojb mentioned this pull request Jul 15, 2019
@nojb nojb changed the title doc: move "Dialects" section under "Advanced topics" Some "dialect" tweaks Jul 15, 2019
nojb added 2 commits July 15, 2019 11:02
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
@nojb nojb merged commit 3db3fc8 into ocaml:master Jul 15, 2019
@nojb nojb deleted the move_dialects_doc branch July 15, 2019 11:08
@nojb
Copy link
Copy Markdown
Collaborator Author

nojb commented Jul 15, 2019

Thanks!

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.

1 participant