diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-11 11:17:52 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-11 11:17:52 +0200 |
| commit | 9d754247d93883804de94425278a3d1a50f2be6e (patch) | |
| tree | 17a26dd48faff15830d824ab258bbfdd5b5e614e /doc/Makefile | |
| parent | 57cddf3811b3abfe557aac4ebcf55394b51ee596 (diff) | |
| parent | 8c328474f2b2397fb4bcc3fc84402a0305383da6 (diff) | |
Merge pull request #4266 from Paulb23/line_number_color
Added a setting to change the line number color
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions