]> Git — Sourcephile - majurity.git/history - Majority/Section.hs
Remove useless OPTIONS
[majurity.git] / Majority / Section.hs
2018-09-03 Julien MoutinhoFix majorityValue: update the middlemost correctly.