On 11/26/2018 09:39 PM, Thomas De Schampheleire wrote:
El dom., 25 nov. 2018 a las 3:47, Mads Kiilerich
() escribió:
On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote:
diff --git a/kallithea/bin/kallithea_cli_front_end.py
b/kallithea/bin/kallithea_cli_front_end.py
---
El dom., 25 nov. 2018 a las 3:47, Mads Kiilerich
() escribió:
>
> On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote:
> > diff --git a/kallithea/bin/kallithea_cli_front_end.py
> > b/kallithea/bin/kallithea_cli_front_end.py
> > --- a/kallithea/bin/kallithea_cli_front_end.py
> > +++
On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote:
diff --git a/kallithea/bin/kallithea_cli_front_end.py
b/kallithea/bin/kallithea_cli_front_end.py
--- a/kallithea/bin/kallithea_cli_front_end.py
+++ b/kallithea/bin/kallithea_cli_front_end.py
@@ -48,3 +48,9 @@ def
# HG changeset patch
# User Thomas De Schampheleire
# Date 1537041136 -7200
# Sat Sep 15 21:52:16 2018 +0200
# Node ID 8c96d6beee303e0caaabd45ae807f18f53f6df14
# Parent dbf669cf398782dc1739686437fba01b536e874c
cli: front-end-build: generate pygments.css dynamically
Rather than having