diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-03-31 10:08:44 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-03-31 10:11:48 -0700 |
| commit | 8b21ec7d0cc43cdcee3fa4cc981e10e34f59f217 (patch) | |
| tree | cac73dfdeaa8ca3fc1f831dc98667fe48e18d4c5 /Makefile | |
| parent | ad726953b9cb7d2bf164ec091227872e97cf8f65 (diff) | |
Markdown reader: add some strictness.
This improves some benchmarks significantly.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions
