From e4b742cff3e8e5b70824cbe01e69ec4e6c2914f9 Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Wed, 14 Sep 2022 08:24:29 +0200 Subject: Update manual --- manual/.gitignore | 1 + 1 file changed, 1 insertion(+) (limited to 'manual/.gitignore') diff --git a/manual/.gitignore b/manual/.gitignore index e07bc0d..48853bd 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -4,5 +4,6 @@ _minted-manual *.log *.out *.pre +*.toc svg-inkscape version \ No newline at end of file -- cgit v1.2.3