docs: fix manual version

jflex-de · Mar 11, 2023 · 7b36a83 · 7b36a83
1 parent cf0a5eb
commit 7b36a83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/xmanual.tex b/docs/xmanual.tex
@@ -58,7 +58,7 @@
 \vspace*{15ex}
 {\Huge \sffamily \bfseries JFlex User's Manual}\\
 \bigskip
-Version 1.10.0, {\today}
+Version 1.9.1, {\today}
 \end{center}
 
 \newpage