|
From: | Pieter Terpstra |
Subject: | Re: Fontsize ornaments |
Date: | Thu, 07 Dec 2017 09:39:52 -0800 |
User-agent: | KNode/4.14.10 |
David Kastrup wrote: > If some of those settings are useless/illegible, we'd need to adjust > them generally. Thank you kindly, that works perfect! Peter
[Prev in Thread] | Current Thread | [Next in Thread] |