diff options
author | g-re-g | 2023-01-27 19:50:39 +0000 |
---|---|---|
committer | GitHub | 2023-01-27 19:50:39 +0000 |
commit | 4a59d337f4a2dae04c0726c70dc65463c561639d (patch) | |
tree | 55819cbd24313e7acea061bc66fc8931c958f6c6 /runtime/queries/sml/highlights.scm | |
parent | d2d302433747ba04dc2fa541c4da9e878d4a5886 (diff) |
Update tutor logo (#5681)
Diffstat (limited to 'runtime/queries/sml/highlights.scm')
0 files changed, 0 insertions, 0 deletions