Markus Kowalewski 699e12e4c7 texmaker: 5.0.4 -> 5.1.0		2021-08-16 11:53:22 +02:00
..
default.nix	texmaker: 5.0.4 -> 5.1.0	2021-08-16 11:53:22 +02:00