From c63ae59a81c8ace0c243bfa2ab265eff61ea6cfe Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Wed, 31 Aug 2022 11:25:48 +0200 Subject: Add manual and improve node plugins system --- manual/.gitignore | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 manual/.gitignore (limited to 'manual/.gitignore') diff --git a/manual/.gitignore b/manual/.gitignore new file mode 100644 index 0000000..056aa14 --- /dev/null +++ b/manual/.gitignore @@ -0,0 +1,3 @@ +_minted-manual +*.tex +*.bbl \ No newline at end of file -- cgit v1.2.3