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/extra2.ppm | |
| parent | 9c32edfdd54e0ad22fed09c33262f5963accfaf6 (diff) | |
ppm files: add debugging comment and add some pre rendered file
Diffstat (limited to 'bubbob/images/extra2.ppm')
| -rw-r--r-- | bubbob/images/extra2.ppm | bin | 6203 -> 6237 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/bubbob/images/extra2.ppm b/bubbob/images/extra2.ppm Binary files differindex 0aa664d..dc468b1 100644 --- a/bubbob/images/extra2.ppm +++ b/bubbob/images/extra2.ppm |