From c2399efd42ac0b92f5318e216bb914addfc0b2fc Mon Sep 17 00:00:00 2001 From: kach Date: Tue, 16 Jun 2020 10:46:04 -0700 Subject: [PATCH] bump version in 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 31873f90..251eec2f 100644 --- a/docs/getting-started.html +++ b/docs/getting-started.html @@ -251,7 +251,7 @@