diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-01-17 19:49:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-17 19:49:52 +0100 |
| commit | fc2443a67caa139fdfb0fa0fccf3d777d736ffe9 (patch) | |
| tree | 8266100830cdde723f42e4332658a2ae464f7564 /doc/manual/src/SUMMARY.md.in | |
| parent | 008ddef4b08e9bee530a5a4c597c88b344089021 (diff) | |
| parent | 72f42093e711db1ab43c920688bb5e59df33935d (diff) | |
Merge pull request #5812 from pennae/small-perf-improvements
improve parser performance a bit
Diffstat (limited to 'doc/manual/src/SUMMARY.md.in')
0 files changed, 0 insertions, 0 deletions