Commit Graph

1 Commits

Author SHA1 Message Date
17d2373e0d
Refactor proof output 2020-05-11 03:11:10 +02:00