From 3a631616c03af3c3f4b410c8a892b88bc8c08dcf Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Tue, 12 Jun 2018 18:03:54 -0700 Subject: [PATCH] Include project name in all docs page titles --- docs/_layouts/default.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index ff4cc6f3..6fe8af49 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -5,7 +5,7 @@ - {{ page.title }} + Tree-sitter|{{ page.title }}