Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Register
Sign in
Toggle navigation
Menu
ogs
ogs
Merge requests
!4266
Precompiled headers
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Dmitry Yu. Naumov
requested to merge
endJunction/ogs:PrecompiledHeaders
into
master
Sep 07, 2022
Overview
1
Commits
2
Pipelines
11
Changes
41
Compile time improvement. See commit's message for details.
Feature description was added to the
changelog
Tests covering your feature were added?
No new features to document...
Edited
Oct 25, 2022
by
Dmitry Yu. Naumov