diff options
Diffstat (limited to 'testsuites/rubbos/testsuite_story')
| -rwxr-xr-x | testsuites/rubbos/testsuite_story/rubbos_story1 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuites/rubbos/testsuite_story/rubbos_story1 b/testsuites/rubbos/testsuite_story/rubbos_story1 index f3e7f31a..c3b1e921 100755 --- a/testsuites/rubbos/testsuite_story/rubbos_story1 +++ b/testsuites/rubbos/testsuite_story/rubbos_story1 @@ -1,2 +1 @@ rubbos_1-1-1 -rubbos_1-2-1 |