Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
EmbeddedMontiArc
languages
CNNTrainLang
Pipelines
#348568
Merge branch 'master' into 'develop'
merge Master into dev See merge request
!31
1 job for
develop
in 4 minutes and 52 seconds (queued for 2 seconds)
bc278be0
1 related merge request:
!30 Develop