diff options
| author | Hakim El Hattab | 2018-11-21 08:33:56 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-21 08:33:56 +0100 |
| commit | 87d6af2cb430be1b3170d7b8d5ade43b7222eb04 (patch) | |
| tree | d75d132608362da982c31c7604affa268c5386d0 /LICENSE | |
| parent | 82076c5a0b1aebe7acd0db1886be9dd6445fa68f (diff) | |
| parent | 8e5bdcc2bb87da2255e5a8d3285e164c52d9fbda (diff) | |
Merge pull request #2266 from f00ale/custom_code_font
Make code font customizable for themes.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions