-
Notifications
You must be signed in to change notification settings - Fork 18
Pull requests: dita-ot/registry
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Migrate org.doctales.terminology to org.jung.terminology
#159
opened Oct 13, 2024 by
stefan-jung
Loading…
Migrate org.doctales.schematron to org.jung.schematron
#158
opened Oct 13, 2024 by
stefan-jung
Loading…
Bump qs from 6.5.2 to 6.5.3 in /.github
dependencies
Pull requests that update a dependency file
#121
opened Dec 12, 2022 by
dependabot
bot
Loading…
ProTip!
no:milestone will show everything without a milestone.