Skip to content

Turn off skim's default features#669

Merged
gwenn merged 1 commit intokkawakam:masterfrom figsoda:skimJan 17, 2023

Commits

Commits on Jan 17, 2023