|
From: | Hans Åberg |
Subject: | Re: FYI: master: doc: -fcaret is enabled by default |
Date: | Sun, 12 Aug 2018 00:15:05 +0200 |
> On 11 Aug 2018, at 18:27, Akim Demaille <address@hidden> wrote: > > doc: -fcaret is enabled by default This type of reporting will not mark the relevant part properly if Unicode tokens "..." are used.
[Prev in Thread] | Current Thread | [Next in Thread] |