aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2021-06-16 13:18:53 +0200
committerLinus Nordberg <linus@nordberg.se>2021-06-16 13:18:53 +0200
commite79f6189d090fc0515c3e5935695787c51039c77 (patch)
tree34674e254c3d5c7994c615da5fadeb88d62dad6a /README.md
parent9f604cc3a7e77851cbb989145d500ec5b01f67a6 (diff)
don't fetch consistency proof when tree hasn't grown
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions