swr1bm86/vscode-idris

Go to module file from import clause

Closed this issue · 0 comments

swr1bm86 commented

The same as #68