fixed doc typo
Fixes PR 11703 Merge to release branch
This commit is contained in:
parent
c119cef915
commit
4ef3dfe6a8
|
@ -147,7 +147,7 @@ One of @ref[~commit s] or @ref[~commit h]:
|
||||||
|
|
||||||
@defidform[~delimit-cut]{
|
@defidform[~delimit-cut]{
|
||||||
|
|
||||||
One of @ref[~delimit-cut s] or @ref[~describe h]:
|
One of @ref[~delimit-cut s] or @ref[~delimit-cut h]:
|
||||||
@itemize[
|
@itemize[
|
||||||
@item{@ref[~delimit-cut h] if the subpattern is a @tech{proper @Hpattern}}
|
@item{@ref[~delimit-cut h] if the subpattern is a @tech{proper @Hpattern}}
|
||||||
@item{@ref[~delimit-cut s] otherwise}
|
@item{@ref[~delimit-cut s] otherwise}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user