diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-18 10:09:27 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-18 10:09:27 -0700 |
| commit | 20492d523c8324e36781cfbbc8092c796f94b151 (patch) | |
| tree | 13a31b738ec90f447d0c0c03dbd6296c44d28302 /data | |
| parent | e5fbddd3b6c0c7a3b76b313edbe55242e3b138fc (diff) | |
T.P.Parsing: export `registerIdentifier`.
[API change]
Use this in the HTML reader to register identifiers to avoid
duplicates created by `auto_identifiers`.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions