Revision f0ec9d768d316d25679c83a5765b12859cbfff60

Committed on 15/11/2017 3:01 am by Keleir <[email protected]> [GitHub Diff]

Remove useless function