diff scripts/generate-ini.py @ 8020:18d146a04fde

setup: kill WebHelpers - it is no longer used
author Mads Kiilerich <mads@kiilerich.com>
date Mon, 11 Nov 2019 00:38:52 +0100
parents a8e6bb9ee9ea
children aa6f17a53b49
line wrap: on
line diff