On Thu, Jun 08, 2017 at 07:35:51PM +0200, Enrico Forestieri wrote:
> commit 8fa0e539e52512b80c5c3eac965e3abb98ba484e
> Author: Enrico Forestieri
> Date: Thu Jun 8 19:33:54 2017 +0200
>
> Extend minted support to listings as child documents
>
> This was slipping through the cracks,
Am Donnerstag, 8. Juni 2017 um 02:34:46, schrieb Pavel Sanda
> Kornel Benko wrote:
> > commit 6a4a88e98afbb9555f502d6aebef1f0ae84cff31
> > Author: Kornel Benko
> > Date: Wed Jun 7 18:27:32 2017 +0200
> >
> > Overtake layout translations from fi.po, ja.po, zh_CN.po
>
> I guess you should mak
Le 01/06/2017 à 22:07, Scott Kostyshak a écrit :
Dear all,
There are many different preferences that the user can customize. It is
difficult to think about what is the best default preferences for the
most amount of users. One way I've thought of to get an idea of this is
to start collecting use
Am Mittwoch, 7. Juni 2017 um 23:49:48, schrieb Kornel Benko
> The help text in lib/xtemplates/minted.xtemplate contains char '\\'.
> Apparently our translation mechanism does not work with this.
> If I remove this chars (2 occurences) and also remove the empty lines,
> the translation of this mess
