diff options
| author | Robert Günzler <r@gnzler.io> | 2025-10-03 17:38:27 +0200 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2025-10-04 18:43:03 +0200 |
| commit | 184f51aeee4df8d2920529a4b6687b20f1d60cf2 (patch) | |
| tree | 8b9e8b5687c3e1ad43d62a30311af0fd95ca709e /src/inc/porta.htm | |
| parent | d80c7259526c18d53906aa2a44709bd649429582 (diff) | |
| download | site-184f51aeee4df8d2920529a4b6687b20f1d60cf2.tar.gz | |
re-render markdown files
Signed-off-by: Robert Günzler <r@gnzler.io>
Diffstat (limited to 'src/inc/porta.htm')
| -rw-r--r-- | src/inc/porta.htm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/inc/porta.htm b/src/inc/porta.htm index c1e364b..193d953 100644 --- a/src/inc/porta.htm +++ b/src/inc/porta.htm @@ -1,4 +1,4 @@ -<!-- Generated file, you may edit and discard src/inc/porta.md :) --> +<!-- Generated file, you may edit and discard porta.md :) --> <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 |