Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Gaudi
Gaudi
Merge requests
!615
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-2
into
master
Feb 23, 2018
Overview
3
Commits
1
Pipelines
1
Changes
1
it's causing troubles and not fixing any real problem (anymore)
Edited
Feb 24, 2018
by
Gerhard Raven