diff options
Diffstat (limited to 'dev/README.md')
| -rw-r--r-- | dev/README.md | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/dev/README.md b/dev/README.md deleted file mode 100644 index 58d8360..0000000 --- a/dev/README.md +++ /dev/null @@ -1,15 +0,0 @@ -# ./dev/ - -## dev-shells.nix - -A misnomer - this only contains one shell - -## hydra-jobs.nix - -Jobs I want to run in CI. Currently built by -[`nix-fast-build`](https://github.com/Mic92/nix-fast-build) - -## treefmt.nix - -[treefmt](https://github.com/numtide/treefmt) configuration via -[treefmt-nix](https://github.com/numtide/treefmt-nix) |