Skip to content
Snippets Groups Projects
Commit 2bcaf3c5 authored by Ralf Jung's avatar Ralf Jung
Browse files

docs: fix typo

parent 75c6d18a
No related branches found
No related tags found
No related merge requests found
Pipeline #103101 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
docs/dune.md
+ 1
− 1
View file @ 2bcaf3c5
...@@ -16,7 +16,7 @@ Useful links: ...@@ -16,7 +16,7 @@ Useful links:
Editor support Editor support
-------------- --------------
Good dune support in editors is lacking at the moment, but there are trick you Good dune support in editors is lacking at the moment, but there are tricks you
can play to make it work. can play to make it work.
One option is to configure your editor to invoke the `dune coq top` command One option is to configure your editor to invoke the `dune coq top` command
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment