Michiel Leenaars 7b2906449d thonny: 3.0.1 -> 3.0.5		2018-10-27 21:06:43 +02:00
..
default.nix	thonny: 3.0.1 -> 3.0.5	2018-10-27 21:06:43 +02:00