Commit Graph

1 Commits

Author SHA1 Message Date
parazyd
e7d968dfd7 Clean up proof and testdata directories and move into tests dir. 2022-03-17 10:22:48 +01:00