diff frontends/src/quick_frontend/quick_list_manager.py @ 2454:06ff33052354

core, template (filters): added pygments as a dependency + new highlight filter to use it.
author Goffi <goffi@goffi.org>
date Thu, 30 Nov 2017 21:00:24 +0100
parents 2daf7b4c6756
children
line wrap: on
line diff