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
OpenFlipper-Free
Plugin-SelectionBase
Merge requests
!3
Merged
Created
Mar 20, 2018
by
Martin Schultz
@schultz
Developer
Options
Feature core profile
Overview
2
Commits
3
Changes
1
see
https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/merge_requests/291
