Robbert Gurdeep Singh d446cb11b5 texstudio: 4.0.0 -> 4.0.2		2021-10-25 23:49:29 +02:00
..
default.nix	texstudio: 4.0.0 -> 4.0.2	2021-10-25 23:49:29 +02:00