diff --git a/docs/Lexicon.html b/docs/Lexicon.html index 7ee52b4331e..355306bb7e4 100644 --- a/docs/Lexicon.html +++ b/docs/Lexicon.html @@ -30,6 +30,12 @@