Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
belenios
belenios
Repository
d43a84387dbaa6d0676ee10010a2bcfa94a274b7
Switch branch/tag
belenios
src
tool
tool_verifydiff.ml
Find file
Blame
History
Permalink
Election.MakeElection -> Election.Make
· d43a8438
Stephane Glondu
authored
Aug 11, 2017
d43a8438
