devdoc: update repo list 2023-10-13

This commit is contained in:
github-merge-queue 2023-10-13 02:57:47 +00:00 committed by nix-infra-bot
parent dafde52722
commit 20edd80bdd

View file

@ -87,6 +87,7 @@ https://github.com/nix-community/nix-user-chroot
https://github.com/nix-community/nix-vscode-extensions
https://github.com/nix-community/nix-zsh-completions
https://github.com/nix-community/nix4vscode
https://github.com/nix-community/nixGL
https://github.com/nix-community/nixago
https://github.com/nix-community/nixago-extensions
https://github.com/nix-community/nixbox