diff options
| author | Diego Roversi <diegor@tiscali.it> | 2020-05-03 11:40:41 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2020-05-03 11:40:41 +0200 |
| commit | 4a2a48ee144ab2389e3006e9789b50402919e53e (patch) | |
| tree | dc784b36db82e86016ba488c9b9b76f1fd6f361e /bubbob/tmp/pat04.ppm | |
| parent | 3233912b23e9ff794b918b13ec46c194f69ca0a8 (diff) | |
cleanstart.sh: a script for launching the program during debug session
Diffstat (limited to 'bubbob/tmp/pat04.ppm')
0 files changed, 0 insertions, 0 deletions