From cbba5f8113430de7b8b29832ff15a7f7338feffd Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Tue, 20 Feb 2018 01:55:10 -0800
Subject: website

---
 docs/_layouts/default.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index d694ce3bd..63f0a4eb7 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -72,7 +72,7 @@ endfor
           >Samples</a></li>
         <li><a href="{{url_root}}lab/"
           {% if page.url contains "/lab/" %}class="active"{% endif %}
-          >Playground</a></li>
+          >Lab</a></li>
         <li><a href="https://github.com/rsms/inter/"
           >Source</a></li>
       </ul>
-- 
cgit v1.2.3