Skip to content
GitLab
Explore
Sign in
Add #pragma once to headers that do not have it
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Add #pragma once to headers that do not have it
Juan Miguel Carceller
requested to merge
jcarcell/Gaudi:add-pragma
into
master
Aug 30, 2025
Overview
3
Commits
1
Pipelines
1
Changes
13
Merge request reports
Loading