From c75fbe854de2a0a881045fbd19a79eb8dcc898e2 Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Mon, 12 Sep 2022 11:28:20 +0200 Subject: Update manual --- manual/.gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'manual/.gitignore') diff --git a/manual/.gitignore b/manual/.gitignore index 14f1d99..e07bc0d 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -4,4 +4,5 @@ _minted-manual *.log *.out *.pre -svg-inkscape \ No newline at end of file +svg-inkscape +version \ No newline at end of file -- cgit v1.2.3