Commit Graph

1 Commits

Author SHA1 Message Date
Jae Kwon 2a4894310d Remove Proof message, replace with more flexible Query 2017-01-27 10:35:27 -08:00