ngirard·7 tahun yang lalu·discussA big problem for Europeans is that Tectonic currently defaults to US letter paper size:https://github.com/tectonic-typesetting/tectonic/issues/126
ngirard·7 tahun yang lalu·discussInteresting project, thanks.For the record, their GitHub repository is https://github.com/samzyy/DB-based-replicated-filesystem
https://github.com/tectonic-typesetting/tectonic/issues/126