From 98e4d21ef9c7836700c0503c10bb0d6465a3c26a Mon Sep 17 00:00:00 2001 From: kach Date: Sat, 19 Sep 2020 21:30:00 -0700 Subject: [PATCH] build docs --- docs/getting-started.html | 2 +- docs/glossary.html | 2 +- docs/grammar.html | 2 +- docs/how-to-grammar-good.html | 2 +- docs/index.html | 2 +- docs/parser.html | 2 +- docs/tokenizers.html | 2 +- docs/tooling.html | 2 +- docs/using-in-frontend.html | 2 +- index.html | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/docs/getting-started.html b/docs/getting-started.html index 1bec8f79..e747c5ce 100644 --- a/docs/getting-started.html +++ b/docs/getting-started.html @@ -251,7 +251,7 @@