diff options
Diffstat (limited to 'ppmtopng.sh')
-rwxr-xr-x | ppmtopng.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/ppmtopng.sh b/ppmtopng.sh deleted file mode 100755 index df33236..0000000 --- a/ppmtopng.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -cd ${0%/*} # go to project root -set -xe - -for i in files/file*.ppm -do - pnmtopng "$i" >> "${i%.*}.png" -done |