diff development.ini @ 7243:f5f796c77337

less: include pygments.css in main.less For now, keep the old css location even though it now is a source file and shouldn't be in public.
author domruf <dominikruf@gmail.com>
date Tue, 24 Oct 2017 21:41:07 +0200
parents d24051ce961c
children 52544ad8a946
line wrap: on
line diff