diff options
| author | EuAndreh <eu@euandre.org> | 2022-12-06 14:55:32 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-12-06 14:55:32 -0300 |
| commit | 0df2471d25c8d403d7efe13f2a583944e05dbced (patch) | |
| tree | 744554fac559a57c365f2f37c7bb2cf6e043b14d /src/doc/head.html | |
| parent | Makefile: Add $(HOST) variable (diff) | |
| download | server-0df2471d25c8d403d7efe13f2a583944e05dbced.tar.gz server-0df2471d25c8d403d7efe13f2a583944e05dbced.tar.xz | |
src/doc/: Remove ad-hoc helper files
Diffstat (limited to 'src/doc/head.html')
| -rw-r--r-- | src/doc/head.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/doc/head.html b/src/doc/head.html deleted file mode 100644 index 3902690..0000000 --- a/src/doc/head.html +++ /dev/null @@ -1,2 +0,0 @@ -<link rel="icon" href="favicon.svg" type="image/svg+xml" /> -<link rel="stylesheet" href="style.css" type="text/css" /> |