log configmix/json.py @ 129:df60417d7665

age author description
Wed, 04 Apr 2018 23:17:37 +0200 Franz Glasner The JSON scanner allows only decimal integers
Wed, 04 Apr 2018 20:54:32 +0200 Franz Glasner FIX: todo comment: allow **numbers** -- not strings
Wed, 04 Apr 2018 20:53:06 +0200 Franz Glasner Use the available "OrderedDict" class as dict for the JSON parser