diff configmix/ini.py @ 129:df60417d7665

The JSON scanner allows only decimal integers
author Franz Glasner <hg@dom66.de>
date Wed, 04 Apr 2018 23:17:37 +0200
parents ba5970a2dcef
children be352645871c
line wrap: on
line diff