Исправление roof, 27.11.18 06:22 (текущая версия) :
Зачем использовать такие, гм, окаменевшие инструменты? Есть же minted, умеет и юникод и красивую подсветку.
Исходная версия roof, 27.11.18 06:22:
Зачем использовать такие, гм, окаменевшие, инструменты? Есть же minted, умеет и юникод и красивую подсветку.