Skip to content

Minted and abbreviations improvements

Tomáš Nováček requested to merge novacek/minted-and-abbreviations-improvements into master

This commit fixes the differences between Lists of figures and Lists of listings and sets the abbreviation's name according to language.

Merge request reports