Skip to content

Allow opening files in Nova editor#522

Open
goulvench wants to merge 2 commits intoBetterErrors:masterfrom
goulvench:allow-opening-files-in-nova-editor
Open

Allow opening files in Nova editor#522
goulvench wants to merge 2 commits intoBetterErrors:masterfrom
goulvench:allow-opening-files-in-nova-editor

Commits

Commits on May 21, 2023