Sign in
gerrit
/
jgit
/
26b23b271384bbbb4ebb85955964068d80d4eba9
/
.settings
2db0c6b
Add resource preferences for top level jgit project
by Matthias Sohn
ยท 5 years ago