Revision ca25a75b7d22692de3494c7fe531655f8b57486b

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

dynamic settings