Skip to content
GitLab
Explore
Sign in
E3-1161
: Fix header location
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Rose
requested to merge
fix_header_location
into
master
May 08, 2023
Overview
0
Commits
2
Pipelines
1
Changes
8
Expand
This removes the need for the separate
hdrs
target, which allows us to remove it from require.
Merge request reports