diff options
| author | Diego Roversi <diegor@tiscali.it> | 2019-09-20 12:35:17 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2019-09-20 12:35:17 +0200 |
| commit | 3233912b23e9ff794b918b13ec46c194f69ca0a8 (patch) | |
| tree | 5e312d15dfa02079be0df53c664972e7d76009dd /bubbob/tmp/pat06.ppm | |
| parent | 39eb83a42dbcb6b003fadfdf0b1f0a275c11c3ad (diff) | |
gitignore: ignore config.txt
Diffstat (limited to 'bubbob/tmp/pat06.ppm')
0 files changed, 0 insertions, 0 deletions