diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:40:15 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:40:15 +0800 |
| commit | f257f471f49bf13adf56868d8f8609309c7e100b (patch) | |
| tree | 90886478989ffce993fadcb4d1cbfaceb87235ef /NEWS | |
| parent | d31961c3ef5341413efb8681302ebd666dbcc4a5 (diff) | |
grammar/label: `set_end_option`
* grammar/src/label.rs (set_end_option): This function replaces the
old function `open_end`, as this new function is more general than
the old one, and there is no specific situation where we only need
to open the end of a node without the need to close the node in an
`if` statement.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions