diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-08-31 11:25:48 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-08-31 11:25:48 +0200 |
| commit | c63ae59a81c8ace0c243bfa2ab265eff61ea6cfe (patch) | |
| tree | b9e53731c869fdd07625ab2c87cd00444db4a99e /manual/.gitignore | |
| parent | 5384940ca79bc49b2240a10337aa1c6f6031efa3 (diff) | |
Add manual and improve node plugins system
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
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 |