]> git.plutz.net Git - shellwiki/commit
make theme_revisions() synonym to theme_page()
authorPaul Hänsch <paul@plutz.net>
Thu, 27 Jul 2023 07:17:41 +0000 (09:17 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 27 Jul 2023 07:17:41 +0000 (09:17 +0200)
commit2c724512b2e744027ae0a43d571f2e0c9fd820f3
tree3fc04374af68fd6b5036c31c91a6ccbeb24ec0bb
parentae4c33994cdedcd115bc3a244259058570ca66a9
make theme_revisions() synonym to theme_page()
themes/default.sh