diff options
Diffstat (limited to 'build/run')
| -rwxr-xr-x | build/run | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/build/run b/build/run deleted file mode 100755 index 17c9955..0000000 --- a/build/run +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash - -../run/bin/mplint >out.txt - |