diff options
| author | Robert Günzler <r@gnzler.io> | 2025-11-22 22:45:03 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2025-11-22 22:45:43 +0100 |
| commit | 3bfef1b3e865e07d08dbd2cff8cf1fedea95fb52 (patch) | |
| tree | a68ed251e6fa1f89c4cca82ae0842822f2105304 /src/inc | |
| parent | 9cb43a9d47fa7cb03a1788cca1f5bf50cf5984ff (diff) | |
| download | site-3bfef1b3e865e07d08dbd2cff8cf1fedea95fb52.tar.gz | |
porta: add title
Signed-off-by: Robert Günzler <r@gnzler.io>
Diffstat (limited to '')
| -rw-r--r-- | src/inc/porta.htm | 1 | ||||
| -rw-r--r-- | src/inc/porta.md | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/inc/porta.htm b/src/inc/porta.htm index 193d953..1621f27 100644 --- a/src/inc/porta.htm +++ b/src/inc/porta.htm @@ -1,4 +1,5 @@ <!-- Generated file, you may edit and discard porta.md :) --> +<h1 id="porta">Porta</h1> <p>↪ <a href="https://git.sr.ht/~robertgzr/porta" class="uri" target="_blank">https://git.sr.ht/~robertgzr/porta</a></p> <p>for a while now i’ve been using a small homegrown utility to interact diff --git a/src/inc/porta.md b/src/inc/porta.md index 1e2000c..8d63598 100644 --- a/src/inc/porta.md +++ b/src/inc/porta.md @@ -1,3 +1,5 @@ +# Porta + ↪ https://git.sr.ht/~robertgzr/porta for a while now i've been using a small homegrown utility to interact with |