diff options
Diffstat (limited to 'externals/gridflow/doc/images')
-rw-r--r-- | externals/gridflow/doc/images/crop_icons | 12 | ||||
-rw-r--r-- | externals/gridflow/doc/images/header1.png | bin | 13279 -> 0 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header1.xcf | bin | 59365 -> 0 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header2.png | bin | 1096 -> 0 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header3.png | bin | 1831 -> 0 bytes |
5 files changed, 0 insertions, 12 deletions
diff --git a/externals/gridflow/doc/images/crop_icons b/externals/gridflow/doc/images/crop_icons deleted file mode 100644 index 4aa06499..00000000 --- a/externals/gridflow/doc/images/crop_icons +++ /dev/null @@ -1,12 +0,0 @@ -if [ "z$1" = "zall" ]; then - foo="\@*.png format*.png" -else - foo="$1" -fi - -for z in $foo; do \ - echo $z - pngtopnm $z | pnmcrop | pnmtopng -background black -transparent =red -compress 9 > $z.new - mv $z.new $z -done - diff --git a/externals/gridflow/doc/images/header1.png b/externals/gridflow/doc/images/header1.png Binary files differdeleted file mode 100644 index ad7c13c5..00000000 --- a/externals/gridflow/doc/images/header1.png +++ /dev/null diff --git a/externals/gridflow/doc/images/header1.xcf b/externals/gridflow/doc/images/header1.xcf Binary files differdeleted file mode 100644 index d114ef28..00000000 --- a/externals/gridflow/doc/images/header1.xcf +++ /dev/null diff --git a/externals/gridflow/doc/images/header2.png b/externals/gridflow/doc/images/header2.png Binary files differdeleted file mode 100644 index cf303b35..00000000 --- a/externals/gridflow/doc/images/header2.png +++ /dev/null diff --git a/externals/gridflow/doc/images/header3.png b/externals/gridflow/doc/images/header3.png Binary files differdeleted file mode 100644 index 8cfcccca..00000000 --- a/externals/gridflow/doc/images/header3.png +++ /dev/null |