This repository was archived by the owner on Sep 25, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: larsrh/libisabelle
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update org.eclipse.jgit to 5.3.4.201908231101-r
#113
opened Aug 24, 2019 by
scala-steward
Contributor
Loading…
Update org.eclipse.jgit to 5.4.0.201906121030-r
#104
opened Jun 14, 2019 by
scala-steward
Contributor
Loading…
Update scala-parser-combinators to 1.1.2
#91
opened Jun 2, 2019 by
scala-steward
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-03-11.