Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Privacy
Imprint
Contact
Sign in
Toggle navigation
Menu
projects.thm.de
GitLab FOSS
Repository
gitlab
app
views
layouts
header
_default.html.haml
Find file
Blame
History
Permalink
Fix up Web IDE user preference copy and buttons
· 407d5638
Jose Ivan Vargas
authored
Jan 11, 2018
407d5638