mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-10 21:01:49 +00:00
parent
2b7587ceca
commit
1e090f1f6b
@ -1 +1 @@
|
||||
dfe7f3cdee51af75e791b8852641deaec00dccc2
|
||||
dfbf501a757052d1a484e1379673534436dc3a6c
|
||||
|
@ -3,7 +3,7 @@ VERSION := git
|
||||
DOWNLOADS := muen.git
|
||||
|
||||
URL(muen) := https://git.codelabs.ch/git/muen.git
|
||||
REV(muen) := b3a80069da73b05e0feb0db9d69460601e19d5f7
|
||||
REV(muen) := 8592db3f6682387d4384120a0b13c347a84587e5
|
||||
DIR(muen) := src/kernel/muen
|
||||
|
||||
$(call check_tool,git)
|
||||
|
Loading…
x
Reference in New Issue
Block a user