rramiachraf 8d0977696f chore: update logo and favicon ... Fixes #71		2024-10-05 01:00:14 +01:00
..
fonts	fix: add support for fonts other than latin	2023-03-01 20:10:53 +01:00
favicon.jpg	chore: update logo and favicon	2024-10-05 01:00:14 +01:00
logo.png	chore: update logo and favicon	2024-10-05 01:00:14 +01:00
script.js	feat: add notice for unreviewed annotations, and fix failed tests	2024-09-18 14:34:20 +01:00