Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!66
Switch indentation style
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell-extensions:new-indentation
into
master
May 22, 2019
Overview
0
Commits
9
Pipelines
2
Changes
13
Expand
Complete the transition to gjs' new style guide and drop the now obsolete "legacy" eslint rules.
Merge request reports