From 2528e6280070c40ba3086b5fbf81b28305442d35 Mon Sep 17 00:00:00 2001 From: github-merge-queue <github-merge-queue@users.noreply.github.com> Date: Sun, 10 Sep 2023 02:58:04 +0000 Subject: [PATCH] devdoc: update repo list 2023-09-10 --- devdoc/repo_list | 1 + 1 file changed, 1 insertion(+) diff --git a/devdoc/repo_list b/devdoc/repo_list index 7d7e4c9..2dffcfc 100644 --- a/devdoc/repo_list +++ b/devdoc/repo_list @@ -11,6 +11,7 @@ https://github.com/nix-community/bundix https://github.com/nix-community/cache-nix-action https://github.com/nix-community/carnix https://github.com/nix-community/comma +https://github.com/nix-community/crate2nix https://github.com/nix-community/cross-toolchains.nix https://github.com/nix-community/crystal2nix https://github.com/nix-community/developer-workshop