diff options
| author | Columbus240 | 2020-09-12 22:39:00 +0200 |
|---|---|---|
| committer | Columbus240 | 2020-09-12 23:00:19 +0200 |
| commit | f1cf2c07f6d3bc041fba8f0d048b32d642837815 (patch) | |
| tree | 8acb948abbf265b909ea6846efed2860e5b0db8a /language | |
| parent | a8be1e2551bc4fbda9c45792c0dad5743c18fefd (diff) | |
Docs: Mention "opam pin" and reword a detail
opam pin is useful in the development workflow.
About the rewording: The tests of Sail check the behavior of Sail and
not whether it is installed correctly, because the instructions above
that paragraph don’t install Sail, they just build it.
These circumstances weren’t represented appropriately by the text.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions