|
| 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] |