Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
minerva
core
Merge requests
!387
Merged
Created
Sep 12, 2018
by
Sascha Herzinger
@sascha.herzinger
Developer
Options
#499
removing IDE files
Overview
1
Commits
3
Pipelines
3
Changes
10
See
#499 (closed)
Edited
Sep 18, 2018
by
Piotr Gawron