diff options
| author | Alex Richardson | 2020-09-25 16:21:57 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-09-25 16:43:10 +0100 |
| commit | cd32009738e05e4eb7f7e0e25ccf700525a7badb (patch) | |
| tree | 9601d70612d61b1144bc0c41106eee01e9beecf0 /src/parser_combinators.ml | |
| parent | f22136def93656ebe8c4c6e49214983365ecd6e2 (diff) | |
Saildoc: do not mangle links targets enclosed in <>
This can be useful to reference things that aren't defined by sail.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions