From c221620d8a72b5efa65dd1783476776ade9b6042 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 6 Jun 2021 08:37:05 -0300 Subject: aux/: Add favicon to generated HTML files --- aux/ci/report.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'aux/ci') diff --git a/aux/ci/report.sh b/aux/ci/report.sh index b82c061..a3fc608 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -26,6 +26,7 @@ cat <> "$OUT" +