comparison Jenkinsfile @ 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 58713c2ebfff
children d9e37f7fd35b
comparison
equal deleted inserted replaced
7242:476daae2a94c 7243:f5f796c77337