Markus Kowalewski a9ee6d2dab texmaker: 4.5 -> 5.0.2		2018-03-11 17:56:26 -07:00
..
default.nix	texmaker: 4.5 -> 5.0.2	2018-03-11 17:56:26 -07:00