startup-gen

mirror of https://github.com/AdaCore/startup-gen.git synced 2026-02-12 13:02:12 -08:00

Files

Corentin Gay c7c970a098 json2gpr,interface : change the expected type of the python interface

We use the python module `json` to get already parsed json from the
function called by the python world. We only decode the json when called
from the command line.

2019-08-06 10:00:25 +02:00

json2gpr.py

json2gpr,interface : change the expected type of the python interface

2019-08-06 10:00:25 +02:00

README.md

knowledgdedbtoosls: add json2gpr tool

2019-08-06 10:00:25 +02:00

setup.py

knowledgdedbtoosls: add json2gpr tool

2019-08-06 10:00:25 +02:00

README.md

The file is empty.