diff options
author | Joris | 2021-01-09 14:24:49 +0100 |
---|---|---|
committer | Joris | 2021-01-09 14:24:49 +0100 |
commit | 026ace6302f23837e34e982f6660e09ff38ee97b (patch) | |
tree | 4ea14b3cdadadad97b349901148b8f4a2462482e /shell.nix | |
parent | 8337dd669c518a70bffdf1e91059e0968d786c0f (diff) |
Use plain HTML and CSS
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 1dd46bd..0000000 --- a/shell.nix +++ /dev/null @@ -1,17 +0,0 @@ -with (import (builtins.fetchGit { - name = "nixpkgs-20.03"; - url = "git@github.com:nixos/nixpkgs.git"; - rev = "5272327b81ed355bbed5659b8d303cf2979b6953"; - ref = "refs/tags/20.03"; -}){}); - -mkShell { - buildInputs = [ - bs-platform - nodejs - tmux - tmuxinator - zola - ocamlformat - ]; -} |