commit 1e7bb02b930655a69d22d7c7b58c513d11de0ab4 parent d12f2631c8943477613b9a7d88f75ff15823af91 Author: Christian Grothoff <christian@grothoff.org> Date: Thu, 7 Mar 2024 11:42:28 +0100 bump version Diffstat:
| A | doc/.gitignore | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/doc/.gitignore b/doc/.gitignore @@ -0,0 +1 @@ +texinfo.tex