Move to numtide's devshell again

This commit is contained in:
Charlotte Van Petegem 2023-06-28 11:42:06 +02:00
parent 1673c19d07
commit 5f98c757f9
No known key found for this signature in database
GPG key ID: 019E764B7184435A
2 changed files with 26 additions and 16 deletions

View file

@ -36,11 +36,8 @@
};
};
devshell = {
url = "github:chvp/devshell";
inputs = {
flake-utils.follows = "flake-utils";
nixpkgs.follows = "nixpkgs";
};
url = "github:numtide/devshell";
inputs.nixpkgs.follows = "nixpkgs";
};
emacs-overlay = {
url = "github:nix-community/emacs-overlay";