diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2022-03-09 00:31:39 +0100 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2022-06-27 21:13:31 +0200 |
| commit | f31f4e6eef1762a4b9bf54a274f1ba9e9e161802 (patch) | |
| tree | dc72e4b2eaa0d1812d8886bfc4ce6b8046ec1a19 /client/Doc | |
| parent | 1e6acf34bbf2d9c31246c6fc450ac3b0232531e2 (diff) | |
Filter: Simplify handling of command sequences
Command sequences in curly braces used a separate nonterminal in grammar.
Handle them as a regular command.
Diffstat (limited to 'client/Doc')
0 files changed, 0 insertions, 0 deletions