diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2018-02-20 12:55:10 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2018-02-20 12:55:10 +0300 |
| commit | cbba5f8113430de7b8b29832ff15a7f7338feffd (patch) | |
| tree | ca221fd6731e54096c986f470c781f2d2385f5b5 /docs/_layouts | |
| parent | bc580b9287bb8aab1dbd24bef1384e2aa270f18c (diff) | |
| download | inter-cbba5f8113430de7b8b29832ff15a7f7338feffd.tar.xz | |
website
Diffstat (limited to 'docs/_layouts')
| -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> |