diff options
Diffstat (limited to 'editor/run.sh')
| -rwxr-xr-x | editor/run.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/editor/run.sh b/editor/run.sh deleted file mode 100755 index 5c479e9..0000000 --- a/editor/run.sh +++ /dev/null @@ -1,3 +0,0 @@ -#! /bin/bash - -odin run editor -vet -disallow-do -o:speed |
