diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 09:41:39 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 09:41:39 -0400 |
| commit | 0a52be6f0f7ec3cc4f3c5b9038d0b7bdd1e638ae (patch) | |
| tree | 540ab44a0efdaf7f302d09732be381ab131e9909 /docs/logic.html | |
| parent | 357a9ab4e25a0101121761c503e14ba38d32093c (diff) | |
Change doHighlight to an extensions argument and disable header ids with extensions off
Diffstat (limited to 'docs/logic.html')
0 files changed, 0 insertions, 0 deletions