diff options
| author | Lizzy Fleckenstein <eliasfleckenstein@web.de> | 2023-05-28 03:40:12 +0200 |
|---|---|---|
| committer | Lizzy Fleckenstein <eliasfleckenstein@web.de> | 2023-05-28 03:40:12 +0200 |
| commit | a6d8bf1b07e64d89d6db3a003c5853a086889b4e (patch) | |
| tree | feb1c7e11b642f4101819dee5b931f2dab46d5bd /scrape.sh | |
| parent | f0670e72b518346ae818a2fa8659743aff0fd11a (diff) | |
| download | texmodbot-a6d8bf1b07e64d89d6db3a003c5853a086889b4e.tar.xz | |
Replace quit_after_nodes by more general quit_after_defs
Diffstat (limited to 'scrape.sh')
0 files changed, 0 insertions, 0 deletions