diff options
author | Brandon Dong | 2022-10-07 18:22:35 +0000 |
---|---|---|
committer | GitHub | 2022-10-07 18:22:35 +0000 |
commit | 18cfe864f44e9d97f11335b7db14e28c804ea794 (patch) | |
tree | e8a0c095d0c6db3e4a7d9e0ff470bf50010177e2 /book/theme | |
parent | 4d4be0e880efd136100439cc34e8c526d299ec34 (diff) |
Fix incorrect scrolloff default in documentation (#4136)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions