diff options
| author | HanishKVC <hanishkvc@gmail.com> | 2024-05-10 15:51:58 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-10 20:21:58 +1000 |
| commit | f89fe2732c5709f6e86d5f4aee2e6d2a561f2eb2 (patch) | |
| tree | 4e427e6595de0d43d601c7781c16445297e5322f /common/grammar-parser.cpp | |
| parent | d11afd665241c1b3910ab5f040d0216403019d87 (diff) | |
Main+: optionally allow special tokens from user in interactive mode (#7097)
@hanishkvc added a new `--interactive-specials` flag which would allow for inserting special tokens from user side into the embedding stream.
Diffstat (limited to 'common/grammar-parser.cpp')
0 files changed, 0 insertions, 0 deletions