From 99f195105adf709799074b727cb06cc8b0558f9f Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Mon, 12 Sep 2022 10:45:38 +0200 Subject: Update user manual --- manual/.gitignore | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'manual/.gitignore') diff --git a/manual/.gitignore b/manual/.gitignore index 056aa14..14f1d99 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -1,3 +1,7 @@ _minted-manual -*.tex -*.bbl \ No newline at end of file +*.bbl +*.aux +*.log +*.out +*.pre +svg-inkscape \ No newline at end of file -- cgit v1.2.3