Revision 1658260d82240a0c0a9d9482ad030fec763f020b

Committed on 07/11/2018 1:18 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

remove unused files