diff --git a/nix/config/release.nix b/nix/config/release.nix index 9fd1ad1947fe28d0899f2fa3f47f2f09350cd49f..a085fb9a2ae68e3a3484033feea6bdc33a17f377 100644 --- a/nix/config/release.nix +++ b/nix/config/release.nix @@ -8,7 +8,7 @@ name = "HTML"; mnemonic = "html"; - projectID = "431"; + projectID = "430"; # this file is generated by nix/scripts/init-project.nix # please don't edit it manually diff --git a/nix/config/release.nix.template b/nix/config/release.nix.template index 323a231fc08fc20fc8d41a2895a5131995d01766..2ffe317f02a52f93c5c0a88aee5bf43d478b0483 100644 --- a/nix/config/release.nix.template +++ b/nix/config/release.nix.template @@ -8,7 +8,7 @@ name = "HTML"; mnemonic = "html"; - projectID = "431"; + projectID = "430"; # this file is generated by nix/scripts/init-project.nix # please don't edit it manually