diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-05 16:32:15 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-05 16:32:15 +0200 |
| commit | b145c1728b4dfb4f45cfcb7adb86605002e6ad5d (patch) | |
| tree | 8b3f24998e2f4284e7c7d354c53a6ddc30143225 /src/.gitignore | |
| parent | 025c2f566709abb1f8971b7458f68223492c81e3 (diff) | |
fix error reporting/handling
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions