Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Merge requests
!28
Merged
Created
May 25, 2020
by
Erin van der Veen
@eveen
🌲
Maintainer
Options
Introduce architecture dependent Platform files
Overview
4
Commits
2
Pipelines
2
Changes
10
This allows building for arm and intel without having to apply a patch