]> Git — Sourcephile - majurity.git/commit
Remove useless OPTIONS
authorJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 26 Feb 2019 11:19:16 +0000 (11:19 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 26 Feb 2019 11:19:16 +0000 (11:19 +0000)
commit8361c5e24dcf93d81699730ff9854764008e9ff9
tree5308cec4f04dcb23ecd6b3976dc4cf09b73f8187
parentf7989b0b0ea221fb54758d6e56c9073a9241b2f9
Remove useless OPTIONS
Majority/Rank.hs