Re: [PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-26 Thread Mads Kiilerich
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 --- a/kallithea/bin/kalli

Re: [PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-26 Thread Thomas De Schampheleire
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 > > +++ b/kallithea/b