This repository was archived by the owner on Feb 26, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: banacorn/agda-mode
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump ini from 1.3.5 to 1.3.7
dependencies
Pull requests that update a dependency file
#131
opened Dec 11, 2020 by
dependabot
bot
Loading…
Bump elliptic from 6.4.1 to 6.5.3
dependencies
Pull requests that update a dependency file
#129
opened Jul 30, 2020 by
dependabot
bot
Loading…
Bump lodash from 4.17.15 to 4.17.19
dependencies
Pull requests that update a dependency file
#128
opened Jul 17, 2020 by
dependabot
bot
Loading…
ProTip!
no:milestone will show everything without a milestone.