diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-05-11 19:17:09 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-05-11 19:17:09 +0200 |
| commit | 5f268913ddfac25f8d16c3216bba23535e2bd798 (patch) | |
| tree | a40f39e33122bc24b5412460880884a626a930b1 /src/json/.gitignore | |
| parent | 684a2342645f3b44b823a907f0309eb4fcfba50b (diff) | |
return NO if forgetting did not work because it was already forgotten earlier
Diffstat (limited to 'src/json/.gitignore')
0 files changed, 0 insertions, 0 deletions