Revision e60bb18d0b32b9ce4439a129a1a5006648427d0b

Committed on 27/01/2021 7:57 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix simpatico styling