]> git.lyx.org Git - lyx.git/commit
Change the name of the "List of listings" for minted
authorEnrico Forestieri <forenr@lyx.org>
Sun, 11 Jun 2017 08:38:44 +0000 (10:38 +0200)
committerEnrico Forestieri <forenr@lyx.org>
Sun, 11 Jun 2017 08:38:44 +0000 (10:38 +0200)
commitab47e48dcc525ed30b4e89b782d2ce5c81ca01c5
tree3772fc0df3d5e6c411ad06c5b669f9f5cea3cd58
parent48a73a9e058971625fc76a03f70c52544f954cb5
Change the name of the "List of listings" for minted

I actually checked that minted calls "List of Listings" the list of
listings, contrarily to the listings package.
lib/layouts/stdinsets.inc