Increase git diff gutter width slightly

368a6405a1Julia committed on 3/17/2023, 7:28:38 PMparentd875865
1 file changedLine totals unavailable