diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-10 21:27:06 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-10 21:27:06 +0200 |
| commit | 7cf67b309465d7274457cdd12547daa836464fd9 (patch) | |
| tree | f48d32ab36b41dbbe5c50a1fac1f3570b5a529c3 /doc/.gitignore | |
| parent | af0a2c32a3592b3fe0a756ada1bf377c144a855b (diff) | |
this invariant does not actually hold, i.e. if there is a /recoup request for a coin we never saw
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions