aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-07-10 21:27:06 +0200
committerChristian Grothoff <christian@grothoff.org>2020-07-10 21:27:06 +0200
commit7cf67b309465d7274457cdd12547daa836464fd9 (patch)
treef48d32ab36b41dbbe5c50a1fac1f3570b5a529c3 /doc/.gitignore
parentaf0a2c32a3592b3fe0a756ada1bf377c144a855b (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