Markus Kowalewski 33b8b799ce texmaker: 5.1.2 -> 5.1.3		2022-04-29 11:19:42 +02:00
..
default.nix	texmaker: 5.1.2 -> 5.1.3	2022-04-29 11:19:42 +02:00