diff options
Diffstat (limited to 'testsuites/rubbos/testsuite_story')
| -rwxr-xr-x | testsuites/rubbos/testsuite_story/rubbos_story1 | 1 | ||||
| -rwxr-xr-x | testsuites/rubbos/testsuite_story/rubbos_story2 | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/testsuites/rubbos/testsuite_story/rubbos_story1 b/testsuites/rubbos/testsuite_story/rubbos_story1 deleted file mode 100755 index af143e30..00000000 --- a/testsuites/rubbos/testsuite_story/rubbos_story1 +++ /dev/null @@ -1 +0,0 @@ -rubbos_1-1-0-1 diff --git a/testsuites/rubbos/testsuite_story/rubbos_story2 b/testsuites/rubbos/testsuite_story/rubbos_story2 deleted file mode 100755 index b35fbdd7..00000000 --- a/testsuites/rubbos/testsuite_story/rubbos_story2 +++ /dev/null @@ -1,2 +0,0 @@ -rubbos_1-1-0-1 -rubbos_1-2-0-1 |