diff --git a/domain-server/resources/web/header.html b/domain-server/resources/web/header.html index 2be603b00e..e1a9d1ea8a 100644 --- a/domain-server/resources/web/header.html +++ b/domain-server/resources/web/header.html @@ -8,4 +8,27 @@ +
\ No newline at end of file