diff options
| author | Thomas F. K. Jorna <[email protected]> | 2021-09-12 18:54:51 +0200 |
|---|---|---|
| committer | Thomas F. K. Jorna <[email protected]> | 2021-09-12 18:55:31 +0200 |
| commit | 2f6545337d832c766feaae1854b936bb3d1d9557 (patch) | |
| tree | c8f646d93e818ba6ba49ded00c9d97ea0d1e29c6 /out/_next/static/chunks/main-18e5535ffc85f4a7d113.js | |
| parent | 47b1562f8ac6b723b920ffc6e6da638ac11d6ce1 (diff) | |
fix: #87. Correct heading linking and highlighting.
Unfortunately reintroduces #67 slightly.
Diffstat (limited to 'out/_next/static/chunks/main-18e5535ffc85f4a7d113.js')
0 files changed, 0 insertions, 0 deletions