diff options
| author | Théo Zimmermann | 2018-06-22 09:06:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-22 09:06:57 +0200 |
| commit | ce078ca30d79455cc2a7055f9e989f7b83a5cd56 (patch) | |
| tree | 1f7cffcd3d08248b63eadaa7f226bf2076dbe898 /plugins/syntax/string_syntax.ml | |
| parent | 1844f4f31276227d6a4d512f1220e83373ea9498 (diff) | |
Improve doc/README.md.
- Fix the Markdown.
- Add link to latest build of the refman for the master branch.
- Clarify what are the dependencies of the HTML doc.
[ci skip]
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions