diff options
| author | EuAndreh <eu@euandre.org> | 2022-11-27 18:46:01 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-11-27 18:46:01 -0300 |
| commit | 139d7dbc15f4467201c24af834a574f19a5926b4 (patch) | |
| tree | 45d1ee54a755cfd3aa7f4585cd0aee82b257c992 /src/doc/head.html | |
| parent | .envrc: Remove unused file (diff) | |
| download | server-139d7dbc15f4467201c24af834a574f19a5926b4.tar.gz server-139d7dbc15f4467201c24af834a574f19a5926b4.tar.xz | |
Build TODOs.html on "public" target
Diffstat (limited to 'src/doc/head.html')
| -rw-r--r-- | src/doc/head.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/doc/head.html b/src/doc/head.html new file mode 100644 index 0000000..3902690 --- /dev/null +++ b/src/doc/head.html @@ -0,0 +1,2 @@ +<link rel="icon" href="favicon.svg" type="image/svg+xml" /> +<link rel="stylesheet" href="style.css" type="text/css" /> |