diff options
author | Jon Bergli Heier <snakebite@jvnv.net> | 2019-03-28 08:32:51 +0100 |
---|---|---|
committer | Jon Bergli Heier <snakebite@jvnv.net> | 2019-03-28 08:32:51 +0100 |
commit | cca8bce331ca114190eebd51056554eb57bfdf25 (patch) | |
tree | fba3a2967be56b2bf0ea942f1e490b978e0c3e88 /Dockerfile | |
parent | b3f06e563273e7be640387db9f35cf9dd0fbbe52 (diff) |
Add leading whitespace to line number margin
This makes the margin not look off-center.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions