diff options
| -rw-r--r-- | docs/_layouts/default.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |