Skip to content
GitLab

correction \encoding{UTF-8}

1 job for devel-encoding
in 5 minutes and 59 seconds, using 0 compute credits, and was queued for 2 seconds
d8d83a2b
1 related merge request: !14 Devel encoding