Michael Färber de31a5ce59 Document how to cite sources with special characters. (#3261) ... Co-authored-by: Laurenz <laurmaedje@gmail.com>		2024-01-30 14:37:33 +00:00
..
files	Document how to cite sources with special characters. (#3261)	2024-01-30 14:37:33 +00:00
fonts	Bump New Computer Modern fonts to version 5.02 (#3072)	2024-01-04 17:21:56 +00:00