Revision 79dd7c1e7a6469753815c5f55a0674b2f88ec973

Committed on 27/09/2018 1:33 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

dynamic settings