diff scripts/generate-ini.py @ 6670:7bca124ef278

style: drop dynamic width of repo summary labels - it should be the same no matter if statistics is shown or not
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 11 Jun 2017 15:02:09 +0200
parents a4715df40299
children cddff7f0dd08
line wrap: on
line diff