Revision 5b3ceca11103cc0c41977d5a6291f74f088e54b1

Committed on 12/08/2022 4:27 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Add font awesome fonts