diff options
| author |  xclerc <xavier.clerc@inria.fr> | 2013-11-28 11:12:58 +0100 |
|---|---|---|
| committer | xclerc <xavier.clerc@inria.fr> | 2013-11-28 11:12:58 +0100 |
| commit | 26b42b8f300a6d11fc2e9880e349b17d03d46e31 (patch) | |
| tree | 30c126e8180f35de91882d0cc78902dffb5dceb8 /interp | |
| parent | 5d041b0f1c416f5def8e82a64f7bdd77b5c36103 (diff) | |
Testsuite: remove the logic for 'bugs/opened/shouldnotsucceed' (unused)
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions