diff options
Diffstat (limited to 'mars-mips')
| -rwxr-xr-x | mars-mips | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mars-mips b/mars-mips deleted file mode 100755 index 1a637a98c886..000000000000 --- a/mars-mips +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -java -jar /usr/share/java/mars-mips/Mars.jar "$@" |