diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-03-27 19:58:40 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-03-27 19:58:40 +0100 |
| commit | eae1896a4bfc02b5d7586f81bbedfea69b29acc8 (patch) | |
| tree | c3927c09435b74fb547a37fe0c75d01dd7b7f234 /src/mint-lib/mint_api.c | |
| parent | 7730a083494c0d49705f87b32fc85dfa6ed6809a (diff) | |
major rename-fest for more constent symbol names
Diffstat (limited to 'src/mint-lib/mint_api.c')
0 files changed, 0 insertions, 0 deletions