${title}

From: Paul Hänsch Date: Sun, 21 May 2023 13:45:20 +0000 (+0200) Subject: mark language in HTML header X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=d88ce0318691f70a29d7f8a2a19a82872d01c261;p=shellwiki mark language in HTML header --- diff --git a/themes/default.sh b/themes/default.sh index 3812f06..0439f0d 100755 --- a/themes/default.sh +++ b/themes/default.sh @@ -47,7 +47,7 @@ theme_page(){ cat <<-EOF - + $(theme_head) ${title}