diff scripts/generate-ini.py @ 7577:d0e24d08246b

contributors: update
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Sat, 16 Mar 2019 21:06:36 +0100
parents 451b3f9d814e
children bbf7be28a11e
line wrap: on
line diff