Add manual and improve node plugins system

This commit is contained in:
Loic Guegan 2022-08-31 11:25:48 +02:00
parent 5384940ca7
commit c63ae59a81
7 changed files with 230 additions and 2 deletions

3
manual/.gitignore vendored Normal file
View file

@ -0,0 +1,3 @@
_minted-manual
*.tex
*.bbl