Revision 4ca968b2452e0735a1f0088605c589c18fc45cb0

Committed on 10/02/2016 6:51 am by Giovanni Terlingen <gogio@live.nl> [GitHub Diff]

Remove unused function