From a0390218a8fa66ea062bc211baf303b5fbcb0b3e Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Wed, 1 May 2019 14:11:58 -0700
Subject: [PATCH] Give playground page a more specific title

---
 docs/section-5-playground.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/section-5-playground.html b/docs/section-5-playground.html
index ffede392..a0cdcf2a 100644
--- a/docs/section-5-playground.html
+++ b/docs/section-5-playground.html
@@ -7,7 +7,7 @@ permalink: playground
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.css">
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.css">
 
-<h1>Playground</h1>
+<h1>Syntax Tree Playground</h1>
 
 <div id="playground-container" style="visibility: hidden;">