diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-25 10:16:34 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-25 10:17:23 -0700 |
| commit | 6e1cfa2af546029385eb8bf8049c08e7b8e16fe2 (patch) | |
| tree | 1065b9f3699106d60e192aa57d50669276988708 /src | |
| parent | 119de20e60ecf40ce00f7d7206f7f87c7ad4c3c1 (diff) | |
Lua: rename `reader_extensions`/`writer_extensions` globals...
...as `Extensions`.
Update documnetation.
Include a custom extension in the documentation example.
See #8390.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions
