![]() also: use it in pict's rendering and remove redex's platform-specific font choice (going back to using 'modern on all platforms) closes PR 12554 original commit: 1945ff270962679e13f66131c5b3eb91cc1edb2f |
||
---|---|---|
collects | ||
doc/release-notes | ||
man/man1 |
![]() also: use it in pict's rendering and remove redex's platform-specific font choice (going back to using 'modern on all platforms) closes PR 12554 original commit: 1945ff270962679e13f66131c5b3eb91cc1edb2f |
||
---|---|---|
collects | ||
doc/release-notes | ||
man/man1 |