devshell: remove cli

Upstream removed the devshell cli:
8c1b8fbdd3
main
jhonas 2023-03-29 19:30:07 +02:00
parent 48a5cb3ff6
commit ec9b4b3335
Signed by: teutat3s
GPG Key ID: 924889A86D0B0FEB
1 changed files with 0 additions and 4 deletions

View File

@ -34,10 +34,6 @@ in
};
commands = [
{
package = pkgs.devshell.cli;
help = "Per project developer environments";
}
{
package = pkgs.nodePackages.triton;
category = "triton & manta tools";