Skip to content
GitLab
Explore
Sign in
Re-exports for flat hierarchy
Code
Review changes
Check out branch
Download
Patches
Plain diff
Martin Lange
requested to merge
re-exports
into
main
Oct 16, 2022
Overview
3
Commits
4
Pipelines
3
Changes
38
Expand
Largely followed the suggestion in
#41 (closed)
.
Fixes
#41 (closed)
.
Edited
Oct 16, 2022
by
Martin Lange
Merge request reports
Loading