fix hello, static-website branch name

This commit is contained in:
Hannes Mehnert 2022-04-05 19:16:35 +02:00
parent 0fc43c22af
commit 5ebd054872
2 changed files with 2 additions and 2 deletions

View file

@ -29,4 +29,4 @@ install: [
[ "strip" "%{bin}%/hello.hvt" ]
[ "cp" "tutorial/hello-key/hello.hvt" "%{prefix}%/hello.hvt.debug" ]
]
url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage3" }
url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage-3" }

View file

@ -41,4 +41,4 @@ install: [
[ "strip" "%{bin}%/https.hvt" ]
[ "cp" "applications/static_website_tls/https.hvt" "%{prefix}%/https.hvt.debug" ]
]
url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage3" }
url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage-3" }