]> git.plutz.net Git - shellwiki/commit
mark language in HTML header
authorPaul Hänsch <paul@plutz.net>
Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
commitd88ce0318691f70a29d7f8a2a19a82872d01c261
tree6019e7a61b4b87452136f878dfda1e383e71f184
parenta88a2e833916c59ea6e99e9588543a58f02b9efe
mark language in HTML header
themes/default.sh