diff options
| author | Ivan Tham | 2021-07-03 15:39:26 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-07-04 09:01:59 +0000 |
| commit | bbbbfa9bcfb7b46d2ca2c8ac85891b1393bfe401 (patch) | |
| tree | 2521f601581496db45f8fdd6391243768075d81b /book/theme/highlight.js | |
| parent | 5977b07e197cc6ef9051dd34a28b9fe28e01e966 (diff) | |
Goto mode use infobox
In the meantime, change gm to gc.
Remove extra space in mode title.
Diffstat (limited to 'book/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions