diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-18 12:51:34 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-18 12:51:34 -0700 |
| commit | e3fd2d5a03e601a7c2cb09059b710eb137223da5 (patch) | |
| tree | 96df3064bcb04584eb1d60ea2200b4fb97bb534c /tools/update-lua-module-docs.lua | |
| parent | 4103d4da825baff53016babb40f384b03052f884 (diff) | |
Revert "HTML reader: avoid duplicating any existing identifier..."
This reverts commit e5fbddd3b6c0c7a3b76b313edbe55242e3b138fc.
Diffstat (limited to 'tools/update-lua-module-docs.lua')
0 files changed, 0 insertions, 0 deletions