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