diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd index 58e8d66e2c..d8cc6a32a1 100644 --- a/repos/os/src/init/config.xsd +++ b/repos/os/src/init/config.xsd @@ -203,6 +203,7 @@ +