diff .coveragerc @ 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 0acb46763886
children ddee465a345a
line wrap: on
line diff