From ad235af38fd8e1cd9706d5544a3939248c66f70a Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sun, 6 Jul 2025 03:57:29 +0200 Subject: [PATCH] "" --- sh/doc.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sh/doc.awk b/sh/doc.awk index edf2455..dd019ee 100644 --- a/sh/doc.awk +++ b/sh/doc.awk @@ -7,7 +7,7 @@ function append(line) { function output(name) { print name - print "↓" + print "" print doc exit }