diff options
author | Diego Roversi <diegor@tiscali.it> | 2020-05-03 12:52:41 +0200 |
---|---|---|
committer | Diego Roversi <diegor@tiscali.it> | 2020-05-03 12:52:41 +0200 |
commit | f0ab42b99bb6d2a19ecef26f0ad6f3e3f4a92499 (patch) | |
tree | 1b812c27c69e6d26b8fb6a63bb4dd32c9982fddc /bubbob/images/ghost.ppm | |
parent | 9c32edfdd54e0ad22fed09c33262f5963accfaf6 (diff) |
ppm files: add debugging comment and add some pre rendered file
Diffstat (limited to 'bubbob/images/ghost.ppm')
-rw-r--r-- | bubbob/images/ghost.ppm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bubbob/images/ghost.ppm b/bubbob/images/ghost.ppm index 424668e..a9ad227 100644 --- a/bubbob/images/ghost.ppm +++ b/bubbob/images/ghost.ppm @@ -1,4 +1,5 @@ P6 +# file ./bubbob/images/ghost.ppm # CREATOR: GIMP PNM Filter Version 1.1 32 256 255 |