diff options
| author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2017-08-03 10:24:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-03 10:24:30 +0200 |
| commit | f6817ddf99e30f2be55bc6a39c5225e0d0e5fbff (patch) | |
| tree | 2f93f5a22331afedab539556cebe8868ffbad272 /doc/functions.xml | |
| parent | c41b81f0dac6b82deb97f1ae7667c306a774b689 (diff) | |
| parent | ef7cc032adcbbd62d7020bfafec39ecc6861da6c (diff) | |
Merge pull request #27895 from jtojnar/patch-1
improve description of fonts
Diffstat (limited to 'doc/functions.xml')
0 files changed, 0 insertions, 0 deletions