Jürgen Spitzmüller wrote: > OTOH I see now that this is how they are defined in listings and minted, > respectively. So the (differing) strings are OK.
Yes, when I looked through the logs it seems Enrico was well aware of the issue. > For de, I've just committed a small correction. Shall I modify the > layouttranslations file for this, or do you re-generate? Ich werde mich darum kummern :) P