-
Merge branch 'remove-ide-pref' into 'master' · a003e123Tim Zallmann authored
Remove IDE option from user preferences See merge request gitlab-org/gitlab-ce!16454 (cherry picked from commit e56bcf92) af79397f Remove IDE option from user preferences 18abb303 remove specs
a003e123
×