Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Gaudi
Gaudi
Merge requests
!614
Remove restrictions on names of installed headers
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Marco Clemencic
requested to merge
clemenci/Gaudi:remove-restrictions-on-header-names
into
v29-patches
Feb 23, 2018
Overview
3
Commits
1
Pipelines
1
Changes
1
it's causing troubles and not fixing any real problem (anymore)