Revision f0ec9d768d316d25679c83a5765b12859cbfff60

Committed on 15/11/2017 3:01 am by Keleir <keleix@gmail.com> [GitHub Diff]

Remove useless function