diff --git a/docs/user/header.html b/docs/user/header.html index 428acf8a2e..c9acf95915 100644 --- a/docs/user/header.html +++ b/docs/user/header.html @@ -2,7 +2,7 @@ - $title + $title | $projectname