diff options
| author | Anton Trunov | 2018-03-06 12:27:44 +0100 |
|---|---|---|
| committer | Anton Trunov | 2018-03-06 12:39:07 +0100 |
| commit | cc518c0de948f111e3fcb1b766a1a326db9ce955 (patch) | |
| tree | d76b38798a5030e7dbf5b6dc11d300d37b79fad7 /docs/javascripts | |
| parent | 6f075b64b936de9ee4fa79ea4dc1d2fb9b9cf2c8 (diff) | |
[doc] Add instructions for dev version installation via OPAM
Plus minor formattig tweaks and typo fixes.
Diffstat (limited to 'docs/javascripts')
0 files changed, 0 insertions, 0 deletions