diff scripts/generate-ini.py @ 7074:82e6b481e212

less: move the remaining parts of contextbar.css to style.css
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 17 Dec 2017 02:15:17 +0100
parents 163d1c4f2b8b
children 150173a027ee
line wrap: on
line diff