diff options
author | Michael Davis | 2022-12-02 13:45:06 +0000 |
---|---|---|
committer | GitHub | 2022-12-02 13:45:06 +0000 |
commit | 8c2692caf14d49e25b19c4d232b3658abc4f6ec5 (patch) | |
tree | bdc579d74d9e3b11c2c5725d0d07193ae8b080ed /runtime/queries/odin/highlights.scm | |
parent | c38519c57adbbdc36b6cf19359384c89f4f34431 (diff) |
Use the logo as the favicon for the docs book (#4971)
Diffstat (limited to 'runtime/queries/odin/highlights.scm')
0 files changed, 0 insertions, 0 deletions