diff options
| author | Torsten Hilbrich <torsten.hilbrich@gmx.net> | 2019-01-07 04:24:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-07 04:24:27 +0100 |
| commit | 79a0c9a7702cc74da91452cdb324a0956172c660 (patch) | |
| tree | 4635956e747f4550034568842e7f582ec786e1ef /GPL | |
| parent | a23b8f4a422d0de69a006ed010eff5795319db98 (diff) | |
| parent | b266c5ac9aee1339212e20d4f3e3ba955499b7ac (diff) | |
Merge pull request #3 from ucko/debian-864644
Support custom faces for definition bodies, preferably var-width.
Diffstat (limited to 'GPL')
0 files changed, 0 insertions, 0 deletions