diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-14 18:09:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-14 18:09:27 +0200 |
| commit | 44e0071d0f57a8206fe2e79ef549af187912284a (patch) | |
| tree | a72c7ba7df37df98e4174b7b9034a2c257ed99ba /modules | |
| parent | 6c0be2c017e605c2106823e80e5aaa78fc68aba5 (diff) | |
| parent | 00b3af246b03bc789a7edc45c11b000d7d63ad27 (diff) | |
Merge pull request #6780 from RandomShaper/space-padded-line-numbers
Allow turning off zero-padding for line numbers
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions