2017-07-19 14:17 GMT+02:00 Jürgen Spitzmüller <sp...@lyx.org>:
>
> But we have the situation now that we output different strings for the
> list of listings heading, depending on whether we use minted or listings
> ("Listings" vs. "List of Listings").
>
OTOH I see now that this is how they are defined in listings and minted,
respectively. So the (differing) strings are OK.
For de, I've just committed a small correction. Shall I modify the
layouttranslations file for this, or do you re-generate?
Jürgen
