diff options
| author | Jessica Clarke | 2020-09-21 03:13:19 +0100 |
|---|---|---|
| committer | Jessica Clarke | 2020-09-21 03:13:19 +0100 |
| commit | 1c14f5e373059fb00fce46f92ec75522f562aca1 (patch) | |
| tree | f36f0037def0ec682ae7e2ddfc2bbcf3543ee35e /src/parser_combinators.ml | |
| parent | 43612633c7df7a3c96ae463e402d9a0e2c6e121a (diff) | |
Strip leading *'s from saildoc
We now parse
/*!
* Paragraph
*/
and
/*!
*Paragraph
*/
the same as
/*!
Paragraph
*/
since the first form is prettier, and similar to what Doxygen, Javadoc
and other such tools allow. This can cause mild confusion, as if the
start of a line in the final form happens to have a * then it will
unexpectedly remove it, but this is a problem shared by those tools too
and the intent is that everyone just use the first form and never need
to worry about it.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions
