-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: idris-community/idris2-mode
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
The Customization variable "Idris2 Source Locations" now works
#37
opened Nov 28, 2022 by
redfish64
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.