From bcdacf202369812907c99b6bd6887fc52357acc7 Mon Sep 17 00:00:00 2001 From: kach Date: Fri, 4 Dec 2020 09:24:33 -0800 Subject: [PATCH] version bump 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 d22686c2..e7ee21dd 100644 --- a/docs/getting-started.html +++ b/docs/getting-started.html @@ -251,7 +251,7 @@