diff options
Diffstat (limited to 'externals/gridflow/doc/images')
| -rw-r--r-- | externals/gridflow/doc/images/black.png | bin | 85 -> 0 bytes | |||
| -rw-r--r-- | externals/gridflow/doc/images/crop_icons | 12 | ||||
| -rw-r--r-- | externals/gridflow/doc/images/pingpong.png | bin | 765 -> 0 bytes | |||
| -rw-r--r-- | externals/gridflow/doc/images/see_screenshot.png | bin | 870 -> 0 bytes | |||
| -rw-r--r-- | externals/gridflow/doc/images/titre_gridflow.png | bin | 2530 -> 0 bytes |
5 files changed, 0 insertions, 12 deletions
diff --git a/externals/gridflow/doc/images/black.png b/externals/gridflow/doc/images/black.png Binary files differdeleted file mode 100644 index ce34e740..00000000 --- a/externals/gridflow/doc/images/black.png +++ /dev/null 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/pingpong.png b/externals/gridflow/doc/images/pingpong.png Binary files differdeleted file mode 100644 index 949ddd02..00000000 --- a/externals/gridflow/doc/images/pingpong.png +++ /dev/null diff --git a/externals/gridflow/doc/images/see_screenshot.png b/externals/gridflow/doc/images/see_screenshot.png Binary files differdeleted file mode 100644 index 821f3c65..00000000 --- a/externals/gridflow/doc/images/see_screenshot.png +++ /dev/null diff --git a/externals/gridflow/doc/images/titre_gridflow.png b/externals/gridflow/doc/images/titre_gridflow.png Binary files differdeleted file mode 100644 index 049857a8..00000000 --- a/externals/gridflow/doc/images/titre_gridflow.png +++ /dev/null |
