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