diff options
author | Kjetil Orbekk <kj@orbekk.com> | 2021-03-10 21:18:50 -0500 |
---|---|---|
committer | Kjetil Orbekk <kj@orbekk.com> | 2021-03-10 21:18:50 -0500 |
commit | 50ac74c4552c0eb609ec7cafab605be4dbf9243b (patch) | |
tree | 94d0d11c648e009c6f7eaf1e852f06504847e66a | |
parent | 3cfca0552fc900e8a3673c54280ccdd892514fd0 (diff) |
Remove update.sh -- it's not needed
-rwxr-xr-x | update.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/update.sh b/update.sh deleted file mode 100755 index 732c4ce..0000000 --- a/update.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -nix flake update --recreate-lock-file --commit-lock-file |