Skip to content
GitLab
Explore
Sign in
NDIP
Galaxy Tools
Merge requests
!19
Resolve "Pattern Matching Tool"
Code
Review changes
Check out branch
Download
Patches
Plain diff
McDonnell, Marshall
requested to merge
23-pattern-matching-tool
into
main
Nov 07, 2022
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Closes
#23 (closed)
XML for the pattern matching tool
Merge request reports