Revision ecf75b32db5d0210c34c4d73fad6ad9e8b29c11d

Committed on 27/09/2014 6:38 pm by Guillaume Maïssa <guillaume@maissa.fr> [GitHub Diff]

remove a useless control structure