From 5f848623dff7cbcd21911032e5fd4c77bcf7d413 Mon Sep 17 00:00:00 2001 From: seth Date: Sun, 4 Feb 2024 16:40:38 -0500 Subject: tree-wide: better separate/name some things --- dev/default.nix | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 dev/default.nix (limited to 'dev/default.nix') diff --git a/dev/default.nix b/dev/default.nix deleted file mode 100644 index d8da3fe..0000000 --- a/dev/default.nix +++ /dev/null @@ -1,11 +0,0 @@ -{ - imports = [ - ./checks.nix - ./ci.nix - ./shell.nix - ]; - - perSystem = {pkgs, ...}: { - formatter = pkgs.alejandra; - }; -} -- cgit v1.2.3