diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html index 37b4275c1..7f4db3f96 100644 --- a/doc/index.html +++ b/doc/index.html @@ -9,6 +9,8 @@ </style> <script type="text/javascript" src="sh_main.js"></script> <script type="text/javascript" src="sh_javascript.min.js"></script> + <link type="image/x-icon" rel="icon" href="favicon.ico" /> + <link type="image/x-icon" rel="shortcut icon" href="favicon.ico" /> <link type="text/css" rel="stylesheet" href="pipe.css" /> <link type="text/css" rel="stylesheet" href="sh_vim-dark.css" /> <link rel="alternate" |