Revision 5b3ceca11103cc0c41977d5a6291f74f088e54b1

Committed on 12/08/2022 4:27 am by Luca Realdi <[email protected]> [GitHub Diff]

Add font awesome fonts