view frontends/src/tools/__init__.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 56aa0e98c92e
children
line wrap: on
line source