Revision 884ec39e31a736e95c92bf9a7c3942de94f803d8

Committed on 13/01/2018 2:38 pm by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

remove unecessary code