3 Commits

Author	SHA1	Message	Date
Aminda Suomalainen	44b5dde76b	sync, note TPB unofficiality	2021-01-29 21:57:26 +02:00
Aminda Suomalainen	c3715962a5	or: add proofs ... Closes #141	2019-05-03 11:44:05 +03:00
Aminda Suomalainen	ad74b12c43	add pirateirc.md	2018-11-01 14:53:08 +02:00