diff options
Diffstat (limited to 'docs/lab')
-rw-r--r-- | docs/lab/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index 32f777e13..48c05d729 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -2,6 +2,7 @@ <html lang="en"> <head> <meta charset="utf-8"> + <link rel="icon" type="image/png" href="../favicon.ico" /> <link href="../interface.css" rel="stylesheet"> <script type="text/javascript"> |