diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-02 08:12:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-02 08:12:46 +0100 |
| commit | 39f11ffc5145a534466b3be2651852a828e59707 (patch) | |
| tree | 3e5f9555d107556da5308c7720499c3cd80de546 /main | |
| parent | af6d59eed6a09bfd68ffbecb751f80ac49e5604c (diff) | |
| parent | 6b42cd5fe637d6d0fe30fa397eca659d295ad956 (diff) | |
Merge pull request #7666 from Paulb23/line_length_guideline
Fixed line lenght guideline, and added colour option
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions