diff options
Diffstat (limited to 'progs/fp/run.sh')
-rwxr-xr-x | progs/fp/run.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/progs/fp/run.sh b/progs/fp/run.sh deleted file mode 100755 index 480f8108a3..0000000000 --- a/progs/fp/run.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -for i in *.txt ; do -echo $i -./fp-tri $i -done - |