]> Git — Sourcephile - majurity.git/commit
protocol: polish comments
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 20:58:22 +0000 (20:58 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 20:58:22 +0000 (20:58 +0000)
commita1fa38c46040a6387c07d47745af01d8bab74a76
tree8bd5cf6143af317f47a179ffac5ce81ce0522f90
parentcecd4dfae394620998791f0b397e4a67d888ec43
protocol: polish comments
hjugement-protocol/Protocol/Credential.hs
hjugement-protocol/Protocol/Election.hs