|
| From: | Tom G. Christensen |
| Subject: | Re: Colored output |
| Date: | Tue, 26 Mar 2019 17:30:38 +0100 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 |
On 26/03/19 02:23, Bruno Haible wrote:
This patch should fix it.
It does, thank you. -tgc
| [Prev in Thread] | Current Thread | [Next in Thread] |