diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-01-21 15:52:10 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-01-21 15:52:10 +0100 |
| commit | 7864e625f1188543cb9af7ef7431c11c80a0ccc9 (patch) | |
| tree | f15c373cfb0ab03aadb11d5c0e404ce066383368 /src/mint-lib/mint_api_common.h | |
| parent | ad1edd6c893bab2b2e4fecfe5b578fdfaefe68cf (diff) | |
-check rval
Diffstat (limited to 'src/mint-lib/mint_api_common.h')
0 files changed, 0 insertions, 0 deletions