diff options
author | Vincent Vialard <vialard@derivo.de> | 2020-05-25 22:40:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-25 22:40:54 +0200 |
commit | 1608ade3f4fd949d1b6db687d992945f7d6df5c0 (patch) | |
tree | d405104a12f70875df0f8f88537ac6abc1c5c150 /static/katex/fonts/KaTeX_SansSerif-Bold.woff | |
parent | d198d96b304e7afcead78cd8238c79fbabdeeed9 (diff) |
- hide ToC icon in header if ToC not enabled (#225)
Diffstat (limited to 'static/katex/fonts/KaTeX_SansSerif-Bold.woff')
0 files changed, 0 insertions, 0 deletions