fix devshell overlay

This commit is contained in:
Tim Schubert 2023-04-15 17:06:54 +02:00
parent b783198ffa
commit a45b611aec
Signed by: dadada
GPG key ID: EEB8D1CE62C4DFEA

View file

@ -20,7 +20,7 @@
pkgs = import nixpkgs { pkgs = import nixpkgs {
inherit system; inherit system;
overlays = [ overlays = [
devshell.overlay devshell.overlays.default
tubslatexOverlay tubslatexOverlay
]; ];
}; };