Skip to content
GitLab
Explore
Sign in
GNOME
gnome-builder
Merge requests
!53
The source project of this merge request has been removed.
defaults: settings for java language
Ghost User
requested to merge
(removed):java-defaults
into
master
May 30, 2018
Overview
0
Pipelines
0
Changes
1
Expand
default indentation for java language
Merge request reports