diff options
author | JJ | 2024-07-22 04:42:42 +0000 |
---|---|---|
committer | JJ | 2024-07-22 20:21:58 +0000 |
commit | 3c11f6cca5b73e188289ada66e7924b4b33e4f59 (patch) | |
tree | 2c410c7856d30985dfabf4319dcc6385a6872d1a /_includes/header.html | |
parent | 2a99a0556e17771181eb31b1c9f6fb6ed335158f (diff) |
replace jekyll with hakyll
Diffstat (limited to '_includes/header.html')
-rw-r--r-- | _includes/header.html | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/_includes/header.html b/_includes/header.html deleted file mode 100644 index 832e2ec..0000000 --- a/_includes/header.html +++ /dev/null @@ -1,13 +0,0 @@ -<header> - <h1> - <a href="/">apropos</a> - </h1> - <nav> - <a href="/about">about</a> - <a href="/resume">resume</a> - <a href="/notes">notes</a> - <a href="/posts">posts</a> - <a href="/writeups">writeups</a> - <a href="https://wiki.toki.la">wiki</a> - </nav> -</header> |