users/jan: disable arduino ide

This commit is contained in:
Dmitriy Pleshevskiy 2024-11-28 16:48:21 +03:00
parent 33fdf4d657
commit 777169701c
Signed by: pleshevskiy
GPG key ID: 17041163DA10A9A2

View file

@ -21,7 +21,7 @@ in
}; };
}; };
local.programs.editors.arduino-ide.enable = true; # local.programs.editors.arduino-ide.enable = true;
local.programs.dev-tools.k8s.enable = true; local.programs.dev-tools.k8s.enable = true;