Ingo Blechschmidt 19de3a7c5b thonny: add desktop item		2021-11-05 20:20:16 +01:00
..
default.nix	thonny: add desktop item	2021-11-05 20:20:16 +01:00