Commit Graph

2 Commits

Author SHA1 Message Date
c3715962a5
or: add proofs
Closes #141
2019-05-03 11:44:05 +03:00
ad74b12c43
add pirateirc.md 2018-11-01 14:53:08 +02:00