ajs124 417efa994e texstudio: 2.12.16 -> 2.12.20 ... tabs -> spaces		2020-01-16 16:44:12 +00:00
..
default.nix	texstudio: 2.12.16 -> 2.12.20	2020-01-16 16:44:12 +00:00