From 652bb9a3b332d1010cfe1eef1db696ae7db0c83a Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Thu, 31 Aug 2023 18:06:17 +0300
Subject: [PATCH] tools: add favicon to the html produced by fast.v

---
 cmd/tools/fast/header.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmd/tools/fast/header.html b/cmd/tools/fast/header.html
index d0aa1b5d06..74ecbede02 100644
--- a/cmd/tools/fast/header.html
+++ b/cmd/tools/fast/header.html
@@ -4,6 +4,9 @@
 <meta charset="UTF-8">
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <title>Is V still fast?</title>
+<link rel="icon" type="image/x-icon" sizes="32x32" href="favicon_32x32.ico">
+<link rel="icon" type="image/x-icon" sizes="16x16" href="favicon_16x16.ico">
+<link rel="icon" type="image/x-icon" href="favicon.ico">
 <style>
 *, body {
 	font-family: Menlo, Monospace, 'Courier New';