]> Git — Sourcephile - majurity.git/commit
protocol: polish doc
authorJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 16 Jul 2019 00:28:18 +0000 (00:28 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 16 Jul 2019 00:28:18 +0000 (00:28 +0000)
commit37dd31a35c7c4f415d6a0e131f4d0221ad028337
tree7a112fc815471159fe615bfea429207a1b7a4d4e
parent9e1f59c074354c9ee8b71ee75256fd4f84e57849
protocol: polish doc
hjugement-protocol/src/Voting/Protocol/Trustee/Indispensable.hs