diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-07-05 13:08:57 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-07-05 13:08:57 +0200 |
commit | 7d8783dee3d0f11aae0c43aeb96329fcbdfa3a58 (patch) | |
tree | 293777f9973b574c5a88878b66151575f62039ce /src/mint/test_mint_nyadirahim | |
parent | 9084ac48216876c8a2f9d5a1a78c4b6216676de7 (diff) |
-fix error code
Diffstat (limited to 'src/mint/test_mint_nyadirahim')
0 files changed, 0 insertions, 0 deletions