diff options
author | Paul Frazee <pfrazee@gmail.com> | 2023-09-07 09:32:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-07 09:32:14 -0700 |
commit | 2963fb4c6dec398a0c39c35e717e175de986622f (patch) | |
tree | e9c24733fd00fd75a40d2bd24eaf58efddd14a46 /index.web.js | |
parent | 138e6d9b9769e33cfe75f9c8dd697d65e7037fb2 (diff) | |
download | voidsky-2963fb4c6dec398a0c39c35e717e175de986622f.tar.zst |
Fix scrollbar gutters on web (#1401)
* Fix scrollbar gutters on web * Fix typecheck
Diffstat (limited to 'index.web.js')
0 files changed, 0 insertions, 0 deletions