Skip to content
GitLab
Explore
Sign in
pass proposal directory instead of deriving it from the raw filename
Code
Review changes
Check out branch
Download
Patches
Plain diff
Wout De Nolf
requested to merge
id22_provide_proposal_dirname
into
main
Mar 22, 2023
Overview
0
Commits
1
Pipelines
2
Changes
7
Expand
Merge request reports
Loading