Skip to content

Pull requests: swr1bm86/vscode-idris

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Deprecate extension
#135 opened May 13, 2022 by michaelmesser Loading…
Give quoted path to fix cd failure on startup
#134 opened Jun 25, 2021 by Rekihyt Loading…
Improve Docs.
#131 opened Oct 1, 2020 by miras143mom Loading…
Bump eslint from 3.19.0 to 6.6.0 dependencies Pull requests that update a dependency file
#127 opened Nov 2, 2019 by dependabot bot Loading…
Adding Live Share support
#126 opened Jun 22, 2019 by lostintangent Loading…
Preserve focus when showing output channel
#125 opened Oct 8, 2018 by jasper-d Loading…
Work in progress: alternative hovers
#114 opened Jun 21, 2017 by rhencke Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.