diff options
| author | Florian Dold <dold@inria.fr> | 2015-12-24 01:18:37 +0100 |
|---|---|---|
| committer | Florian Dold <dold@inria.fr> | 2015-12-24 01:18:37 +0100 |
| commit | 15c3577722c2586b5243fd6d23966b49c59f08be (patch) | |
| tree | ab60d34a27bc7c90f44ec549d3ff1e6f845d5b7c /src/mint-lib/test_mint_api.c | |
| parent | ce6e7be9a7927f63cbc49e1d94e5a6f5660f23fd (diff) | |
Remove overly long timeout.
Diffstat (limited to 'src/mint-lib/test_mint_api.c')
0 files changed, 0 insertions, 0 deletions