Renamed a role

This commit is contained in:
Serĉanto de Scio 2019-11-27 10:52:13 +10:00
parent 5c083c02b6
commit 3243e49aab
Signed by: sercanto
GPG key ID: A4122FF3971B6865

View file

@ -10,7 +10,7 @@
[ [
../roles/gitea.nix ../roles/gitea.nix
../roles/hydra.nix ../roles/hydra.nix
../roles/IOHK.nix ../roles/iohk.nix
../roles/matrix.nix ../roles/matrix.nix
../roles/nixpkgs-dev.nix ../roles/nixpkgs-dev.nix
#../roles/jormungandr.nix #../roles/jormungandr.nix