diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-04 22:59:48 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-04 22:59:48 +0100 |
| commit | da29648397b543f785a26e9ae20afaa324f53db0 (patch) | |
| tree | 152d48a00180eeeb458a6dd78a051421adbf010d /src/mint-lib/mint_api_common.c | |
| parent | 34405ec9569d8b397169b31f7ca2ec2bbc1d2708 (diff) | |
adding instruction about creating reserves
Diffstat (limited to 'src/mint-lib/mint_api_common.c')
0 files changed, 0 insertions, 0 deletions