fixes after PRs

This commit is contained in:
panr
2023-06-10 00:27:17 +02:00
parent 4a8f9aa798
commit 3a5a676118
11 changed files with 73 additions and 53 deletions

View File

@ -16,5 +16,4 @@
@import "syntax";
@import "code";
@import "terms";
@import "term";
@import "gist";