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/porta.md | |
| 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.md | 2 |
1 files changed, 2 insertions, 0 deletions
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 |