modify mail notification to make it optional
[cavote.git] / .gitignore
2014-08-25 Julien Moutinhomodify to range voting