summaryrefslogtreecommitdiff
path: root/src/prop
diff options
context:
space:
mode:
authorHaniel Barbosa <hanielbbarbosa@gmail.com>2021-08-04 12:28:12 -0300
committerGitHub <noreply@github.com>2021-08-04 10:28:12 -0500
commit5f89c684f95f16bdb5953fc543a36115093f1982 (patch)
treeb483a793b10e3cc147b4629a0eda3933140ca4f2 /src/prop
parent81544bb6de5b21db7ed5e41d56277105bbea103d (diff)
[proof] Add getProof to API and use it in GetProofCommand (#6974)
Also adds a call to get proof in a unit test.
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback