diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 13:47:34 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 13:47:34 +0300 |
| commit | 260b3deb8402fc8f0fb24ad7dbff70806d2aa82e (patch) | |
| tree | 82e0e5c1436ef98f944efb244844ef9a2d949128 /docs/lab | |
| parent | 80ea7a323b48a1e70a112b3461be97ac67ff1585 (diff) | |
| download | inter-260b3deb8402fc8f0fb24ad7dbff70806d2aa82e.tar.xz | |
website fixes, primarily mobile
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"> |