-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: visimp/visimp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: 'new file' button on greeter
enhancement
New feature or request
#117
opened Sep 15, 2024 by
foxyseta
Loading…
feat: Agda-specific plugin (Cornelius)
enhancement
New feature or request
#100
opened Jun 18, 2024 by
foxyseta
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-09-03.