summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorSanto Cariotti <santo@dcariotti.me>2025-06-17 09:20:34 +0000
committerSanto Cariotti <santo@dcariotti.me>2025-06-17 09:20:34 +0000
commitcf2b979d2ea4f60b2e158f01a5aa84df6ebb7230 (patch)
treef3278d94ce4e79956131e888b2ed7cf54c52f8a4 /.gitignore
parent5607dc8d0df77ca64b5fa52cab026296279122a7 (diff)
test: add not valid proof example
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions