diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-14 01:43:03 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-14 01:43:03 +0100 |
commit | 4b5fc7dc0e3fd3be4a00cdc76ce86658b9485b93 (patch) | |
tree | a0c37bde3e8fc1f6d4255272c89cbb529197dae7 /src/mint-lib/mint_api_json.h | |
parent | e5d3c2104338b1c30ef294a91fa646ba832f0a07 (diff) |
Adapting the "demo" directories layout to the new scenario
(which has a 'bank' and an introductory 'demo' website)
Diffstat (limited to 'src/mint-lib/mint_api_json.h')
0 files changed, 0 insertions, 0 deletions